Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.06 | 1800.64 |
Name | /OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9025_7.std.opb |
MD5SUM | 898f9481d81532bb854887af2399230f |
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 | 139 |
Best CPU time to get the best result obtained on this benchmark | 1800.48 |
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 | 54782 |
Total number of constraints | 184232 |
Number of constraints which are clauses | 183032 |
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 | 72 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2687412-1278453119.opb. 0.00/0.00 c Instance file HOME/instance-2687412-1278453119.opb 0.00/0.00 c File size is 5956862 bytes. 1.00/1.10 c Highest Coefficient sum: 406 1.00/1.10 c ============================[ Problem Statistics ]============================= 1.00/1.10 c | | 1.00/1.10 c | Parsing time: 1.07 s | 1.00/1.10 c | Number Variables: 54782 | 1.00/1.10 c | Number Clauses: 183032 | 1.00/1.10 c | Number Cardinality: 0 | 1.00/1.10 c | Number PB Constraints: 1200 | 95.56/95.69 c ============================[ Search Statistics ]============================== 95.56/95.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.56/95.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.56/95.69 c =============================================================================== 95.56/95.69 c | 0 | 42257 185318 403625 | 61410 0 nan | 0.000 % | 95.67/95.77 c =============================================================================== 95.67/95.77 c New solution: 300 95.67/95.77 o 300 95.67/95.77 c Elapsed CPU time: 95.6125 s Remaining CPU time: 84.3875 s 95.67/95.77 c =============================================================================== 95.67/95.77 c | 21 | 42257 185319 403925 | 61773 21 9 | 0.000 % | 95.77/95.81 c =============================================================================== 95.77/95.81 c New solution: 299 95.77/95.81 o 299 95.77/95.81 c Elapsed CPU time: 95.6545 s Remaining CPU time: 84.3455 s 95.77/95.81 c =============================================================================== 95.77/95.81 c | 30 | 42166 185320 404225 | 61773 30 13 | 0.000 % | 95.77/95.85 c =============================================================================== 95.77/95.85 c New solution: 298 95.77/95.85 o 298 95.77/95.85 c Elapsed CPU time: 95.6985 s Remaining CPU time: 84.3015 s 95.77/95.85 c =============================================================================== 95.77/95.85 c | 49 | 42068 185321 404525 | 61773 49 17 | 0.000 % | 95.87/95.90 c | 149 | 42066 185321 404525 | 67951 149 23 | 23.402 % | 95.87/95.96 c | 299 | 42057 185321 404525 | 74746 299 23 | 23.402 % | 95.97/96.00 c =============================================================================== 95.97/96.00 c New solution: 297 95.97/96.00 o 297 95.97/96.00 c Elapsed CPU time: 95.8474 s Remaining CPU time: 84.1526 s 95.97/96.00 c =============================================================================== 95.97/96.00 c | 308 | 41962 185322 404825 | 61774 308 23 | 23.402 % | 95.97/96.05 c =============================================================================== 95.97/96.05 c New solution: 296 95.97/96.05 o 296 95.97/96.05 c Elapsed CPU time: 95.8944 s Remaining CPU time: 84.1056 s 95.97/96.05 c =============================================================================== 95.97/96.05 c | 326 | 41850 185323 405125 | 61774 291 23 | 23.402 % | 96.06/96.12 c | 426 | 41847 185323 405125 | 67951 391 25 | 23.820 % | 96.06/96.16 c =============================================================================== 96.06/96.16 c New solution: 295 96.06/96.16 o 295 96.06/96.16 c Elapsed CPU time: 95.9984 s Remaining CPU time: 84.0016 s 96.06/96.16 c =============================================================================== 96.06/96.16 c | 433 | 41733 185324 405425 | 61774 398 25 | 23.820 % | 96.16/96.21 c =============================================================================== 96.16/96.21 c New solution: 294 96.16/96.21 o 294 96.16/96.21 c Elapsed CPU time: 96.0534 s Remaining CPU time: 83.9466 s 96.16/96.21 c =============================================================================== 96.16/96.21 c | 447 | 41602 185325 405725 | 61775 412 25 | 23.820 % | 96.16/96.27 c =============================================================================== 96.16/96.27 c New solution: 293 96.16/96.27 o 293 96.16/96.27 c Elapsed CPU time: 96.1064 s Remaining CPU time: 83.8936 s 96.16/96.27 c =============================================================================== 96.16/96.27 c | 461 | 41465 185326 406025 | 61775 426 25 | 23.820 % | 96.26/96.32 c =============================================================================== 96.26/96.32 c New solution: 292 96.26/96.32 o 292 96.26/96.32 c Elapsed CPU time: 96.1614 s Remaining CPU time: 83.8386 s 96.26/96.32 c =============================================================================== 96.26/96.32 c | 493 | 41318 185327 406325 | 61775 458 24 | 23.820 % | 96.26/96.39 c | 594 | 41284 185327 406325 | 67953 559 24 | 24.875 % | 96.36/96.45 c =============================================================================== 96.36/96.45 c New solution: 291 96.36/96.45 o 291 96.36/96.45 c Elapsed CPU time: 96.2874 s Remaining CPU time: 83.7126 s 96.36/96.45 c =============================================================================== 96.36/96.45 c | 631 | 41155 185328 406625 | 61776 464 25 | 24.875 % | 96.46/96.51 c | 732 | 41147 185328 406625 | 67953 565 26 | 25.194 % | 96.56/96.61 c =============================================================================== 96.56/96.61 c New solution: 290 96.56/96.61 o 290 96.56/96.61 c Elapsed CPU time: 96.4443 s Remaining CPU time: 83.5557 s 96.56/96.61 c =============================================================================== 96.56/96.61 c | 846 | 40980 185329 406925 | 61776 679 26 | 25.194 % | 96.56/96.67 c =============================================================================== 96.56/96.67 c New solution: 289 96.56/96.67 o 289 96.56/96.67 c Elapsed CPU time: 96.5003 s Remaining CPU time: 83.4997 s 96.56/96.67 c =============================================================================== 96.56/96.67 c | 853 | 40798 185330 407225 | 61776 686 26 | 25.194 % | 96.67/96.71 c =============================================================================== 96.67/96.71 c New solution: 288 96.67/96.71 o 288 96.67/96.71 c Elapsed CPU time: 96.5413 s Remaining CPU time: 83.4587 s 96.67/96.71 c =============================================================================== 96.67/96.71 c | 863 | 40616 185331 407525 | 61777 696 26 | 25.194 % | 96.67/96.77 c | 963 | 40609 185331 407525 | 67954 796 28 | 26.191 % | 96.77/96.81 c =============================================================================== 96.77/96.81 c New solution: 287 96.77/96.81 o 287 96.77/96.81 c Elapsed CPU time: 96.6463 s Remaining CPU time: 83.3537 s 96.77/96.81 c =============================================================================== 96.77/96.81 c | 969 | 40434 185332 407825 | 61777 655 27 | 26.191 % | 96.77/96.86 c =============================================================================== 96.77/96.86 c New solution: 286 96.77/96.86 o 286 96.77/96.86 c Elapsed CPU time: 96.6963 s Remaining CPU time: 83.3037 s 96.77/96.86 c =============================================================================== 96.77/96.86 c | 979 | 40252 185333 408125 | 61777 665 26 | 26.191 % | 96.87/96.91 c =============================================================================== 96.87/96.91 c New solution: 285 96.87/96.91 o 285 96.87/96.91 c Elapsed CPU time: 96.7393 s Remaining CPU time: 83.2607 s 96.87/96.91 c =============================================================================== 96.87/96.91 c | 989 | 40070 185334 408425 | 61778 675 26 | 26.191 % | 96.87/96.95 c =============================================================================== 96.87/96.95 c New solution: 284 96.87/96.95 o 284 96.87/96.95 c Elapsed CPU time: 96.7843 s Remaining CPU time: 83.2157 s 96.87/96.95 c =============================================================================== 96.87/96.95 c | 998 | 39888 185335 408725 | 61778 684 26 | 26.191 % | 96.97/97.00 c =============================================================================== 96.97/97.00 c New solution: 283 96.97/97.00 o 283 96.97/97.00 c Elapsed CPU time: 96.8363 s Remaining CPU time: 83.1637 s 96.97/97.00 c =============================================================================== 96.97/97.00 c | 1016 | 39706 185336 409025 | 61778 702 26 | 26.191 % | 96.97/97.05 c | 1118 | 39675 185336 409025 | 67956 804 26 | 27.852 % | 97.07/97.14 c | 1270 | 39669 185336 409025 | 74752 956 26 | 27.852 % | 97.07/97.19 c =============================================================================== 97.07/97.19 c New solution: 282 97.07/97.19 o 282 97.07/97.19 c Elapsed CPU time: 97.0182 s Remaining CPU time: 82.9818 s 97.07/97.19 c =============================================================================== 97.07/97.19 c | 1274 | 39524 185337 409325 | 61779 666 23 | 27.852 % | 97.16/97.23 c =============================================================================== 97.16/97.23 c New solution: 281 97.16/97.23 o 281 97.16/97.23 c Elapsed CPU time: 97.0622 s Remaining CPU time: 82.9378 s 97.16/97.23 c =============================================================================== 97.16/97.23 c | 1289 | 39342 185338 409625 | 61779 681 22 | 27.852 % | 97.16/97.28 c =============================================================================== 97.16/97.28 c New solution: 280 97.16/97.28 o 280 97.16/97.28 c Elapsed CPU time: 97.1122 s Remaining CPU time: 82.8878 s 97.16/97.28 c =============================================================================== 97.16/97.28 c | 1297 | 39160 185339 409925 | 61779 689 22 | 27.852 % | 97.26/97.33 c =============================================================================== 97.26/97.33 c New solution: 279 97.26/97.33 o 279 97.26/97.33 c Elapsed CPU time: 97.1652 s Remaining CPU time: 82.8348 s 97.26/97.33 c =============================================================================== 97.26/97.33 c | 1329 | 38978 185340 410225 | 61780 721 22 | 27.852 % | 97.36/97.40 c | 1429 | 38971 185340 410225 | 67958 821 24 | 29.181 % | 97.36/97.45 c =============================================================================== 97.36/97.45 c New solution: 278 97.36/97.45 o 278 97.36/97.45 c Elapsed CPU time: 97.2832 s Remaining CPU time: 82.7168 s 97.36/97.45 c =============================================================================== 97.36/97.45 c | 1444 | 38796 185341 410525 | 61780 836 24 | 29.181 % | 97.46/97.50 c =============================================================================== 97.46/97.50 c New solution: 277 97.46/97.50 o 277 97.46/97.50 c Elapsed CPU time: 97.3292 s Remaining CPU time: 82.6708 s 97.46/97.50 c =============================================================================== 97.46/97.50 c | 1452 | 38614 185342 410825 | 61780 844 24 | 29.181 % | 97.46/97.55 c =============================================================================== 97.46/97.55 c New solution: 276 97.46/97.55 o 276 97.46/97.55 c Elapsed CPU time: 97.3812 s Remaining CPU time: 82.6188 s 97.46/97.55 c =============================================================================== 97.46/97.55 c | 1458 | 38432 185343 411125 | 61781 596 21 | 29.181 % | 97.56/97.60 c =============================================================================== 97.56/97.60 c New solution: 275 97.56/97.60 o 275 97.56/97.60 c Elapsed CPU time: 97.4252 s Remaining CPU time: 82.5748 s 97.56/97.60 c =============================================================================== 97.56/97.60 c | 1466 | 38250 185344 411425 | 61781 604 21 | 29.181 % | 97.56/97.65 c =============================================================================== 97.56/97.65 c New solution: 274 97.56/97.65 o 274 97.56/97.65 c Elapsed CPU time: 97.4762 s Remaining CPU time: 82.5238 s 97.56/97.65 c =============================================================================== 97.56/97.65 c | 1491 | 38068 185345 411725 | 61781 629 21 | 29.181 % | 97.66/97.72 c | 1592 | 38062 185345 411725 | 67959 730 24 | 30.842 % | 97.66/97.76 c =============================================================================== 97.66/97.76 c New solution: 273 97.66/97.76 o 273 97.66/97.76 c Elapsed CPU time: 97.5912 s Remaining CPU time: 82.4088 s 97.66/97.76 c =============================================================================== 97.66/97.76 c | 1605 | 37886 185346 412025 | 61782 743 23 | 30.842 % | 97.77/97.81 c =============================================================================== 97.77/97.81 c New solution: 272 97.77/97.81 o 272 97.77/97.81 c Elapsed CPU time: 97.6382 s Remaining CPU time: 82.3618 s 97.77/97.81 c =============================================================================== 97.77/97.81 c | 1606 | 37704 185347 412325 | 61782 744 23 | 30.842 % | 97.77/97.85 c =============================================================================== 97.77/97.85 c New solution: 271 97.77/97.85 o 271 97.77/97.85 c Elapsed CPU time: 97.6771 s Remaining CPU time: 82.3229 s 97.77/97.85 c =============================================================================== 97.77/97.85 c | 1612 | 37522 185348 412625 | 61782 750 23 | 30.842 % | 97.77/97.89 c =============================================================================== 97.77/97.89 c New solution: 270 97.77/97.89 o 270 97.77/97.89 c Elapsed CPU time: 97.7201 s Remaining CPU time: 82.2799 s 97.77/97.89 c =============================================================================== 97.77/97.89 c | 1620 | 37340 185349 412925 | 61783 758 23 | 30.842 % | 97.87/97.96 c | 1720 | 37158 185349 412925 | 67961 581 23 | 32.171 % | 97.97/98.01 c =============================================================================== 97.97/98.01 c New solution: 269 97.97/98.01 o 269 97.97/98.01 c Elapsed CPU time: 97.8351 s Remaining CPU time: 82.1649 s 97.97/98.01 c =============================================================================== 97.97/98.01 c | 1751 | 37158 185350 413225 | 61783 612 24 | 32.171 % | 97.97/98.07 c | 1851 | 37154 185350 413225 | 67961 712 25 | 32.503 % | 98.07/98.15 c | 2001 | 37145 185350 413225 | 74757 862 26 | 32.503 % | 98.16/98.21 c =============================================================================== 98.16/98.21 c New solution: 268 98.16/98.21 o 268 98.16/98.21 c Elapsed CPU time: 98.0281 s Remaining CPU time: 81.9719 s 98.16/98.21 c =============================================================================== 98.16/98.21 c | 2073 | 36976 185351 413525 | 61783 934 26 | 32.503 % | 98.16/98.26 c | 2174 | 36794 185351 413525 | 67962 948 26 | 32.836 % | 98.26/98.30 c =============================================================================== 98.26/98.30 c New solution: 267 98.26/98.30 o 267 98.26/98.30 c Elapsed CPU time: 98.1191 s Remaining CPU time: 81.8809 s 98.26/98.30 c =============================================================================== 98.26/98.30 c | 2182 | 36794 185352 413825 | 61784 956 26 | 32.836 % | 98.26/98.35 c =============================================================================== 98.26/98.35 c New solution: 266 98.26/98.35 o 266 98.26/98.35 c Elapsed CPU time: 98.1701 s Remaining CPU time: 81.8299 s 98.26/98.35 c =============================================================================== 98.26/98.35 c | 2191 | 36612 185353 414125 | 61784 965 25 | 32.836 % | 98.36/98.40 c =============================================================================== 98.36/98.40 c New solution: 265 98.36/98.40 o 265 98.36/98.40 c Elapsed CPU time: 98.2231 s Remaining CPU time: 81.7769 s 98.36/98.40 c =============================================================================== 98.36/98.40 c | 2204 | 36430 185354 414425 | 61784 978 25 | 32.836 % | 98.36/98.44 c =============================================================================== 98.36/98.44 c New solution: 264 98.36/98.44 o 264 98.36/98.44 c Elapsed CPU time: 98.2641 s Remaining CPU time: 81.7359 s 98.36/98.44 c =============================================================================== 98.36/98.44 c | 2210 | 36248 185355 414725 | 61785 984 25 | 32.836 % | 98.36/98.49 c =============================================================================== 98.36/98.49 c New solution: 263 98.36/98.49 o 263 98.36/98.49 c Elapsed CPU time: 98.3071 s Remaining CPU time: 81.6929 s 98.36/98.49 c =============================================================================== 98.36/98.49 c | 2222 | 36066 185356 415025 | 61785 996 25 | 32.836 % | 98.46/98.54 c =============================================================================== 98.46/98.54 c New solution: 262 98.46/98.54 o 262 98.46/98.54 c Elapsed CPU time: 98.357 s Remaining CPU time: 81.643 s 98.46/98.54 c =============================================================================== 98.46/98.54 c | 2241 | 35884 185357 415325 | 61785 1015 25 | 32.836 % | 98.46/98.58 c =============================================================================== 98.46/98.58 c New solution: 261 98.46/98.58 o 261 98.46/98.58 c Elapsed CPU time: 98.402 s Remaining CPU time: 81.598 s 98.46/98.58 c =============================================================================== 98.46/98.58 c | 2268 | 35702 185358 415625 | 61786 1042 25 | 32.836 % | 98.56/98.66 c | 2368 | 35691 185358 415625 | 67964 1142 26 | 35.161 % | 98.66/98.72 c | 2519 | 35520 185358 415625 | 74761 896 24 | 35.161 % | 98.76/98.88 c | 2744 | 35520 185358 415625 | 82237 1121 27 | 35.161 % | 98.87/98.97 c =============================================================================== 98.87/98.97 c New solution: 260 98.87/98.97 o 260 98.87/98.97 c Elapsed CPU time: 98.791 s Remaining CPU time: 81.209 s 98.87/98.97 c =============================================================================== 98.87/98.97 c | 2879 | 35520 185359 415925 | 61786 1256 27 | 35.161 % | 98.97/99.02 c =============================================================================== 98.97/99.02 c New solution: 259 98.97/99.02 o 259 98.97/99.02 c Elapsed CPU time: 98.839 s Remaining CPU time: 81.161 s 98.97/99.02 c =============================================================================== 98.97/99.02 c | 2894 | 35338 185360 416225 | 61786 1229 26 | 35.161 % | 98.97/99.07 c =============================================================================== 98.97/99.07 c New solution: 258 98.97/99.07 o 258 98.97/99.07 c Elapsed CPU time: 98.885 s Remaining CPU time: 81.115 s 98.97/99.07 c =============================================================================== 98.97/99.07 c | 2894 | 35156 185361 416525 | 61787 1229 26 | 35.161 % | 99.06/99.11 c =============================================================================== 99.06/99.11 c New solution: 257 99.06/99.11 o 257 99.06/99.11 c Elapsed CPU time: 98.932 s Remaining CPU time: 81.068 s 99.06/99.11 c =============================================================================== 99.06/99.11 c | 2898 | 34974 185362 416825 | 61787 1233 26 | 35.161 % | 99.06/99.16 c =============================================================================== 99.06/99.16 c New solution: 256 99.06/99.16 o 256 99.06/99.16 c Elapsed CPU time: 98.972 s Remaining CPU time: 81.028 s 99.06/99.16 c =============================================================================== 99.06/99.16 c | 2904 | 34792 185363 417125 | 61787 1239 26 | 35.161 % | 99.16/99.20 c =============================================================================== 99.16/99.20 c New solution: 255 99.16/99.20 o 255 99.16/99.20 c Elapsed CPU time: 99.0129 s Remaining CPU time: 80.9871 s 99.16/99.20 c =============================================================================== 99.16/99.20 c | 2911 | 34610 185364 417425 | 61788 1246 26 | 35.161 % | 99.16/99.25 c =============================================================================== 99.16/99.25 c New solution: 254 99.16/99.25 o 254 99.16/99.25 c Elapsed CPU time: 99.0649 s Remaining CPU time: 80.9351 s 99.16/99.25 c =============================================================================== 99.16/99.25 c | 2918 | 34428 185365 417725 | 61788 1253 26 | 35.161 % | 99.26/99.31 c =============================================================================== 99.26/99.31 c New solution: 253 99.26/99.31 o 253 99.26/99.31 c Elapsed CPU time: 99.1269 s Remaining CPU time: 80.8731 s 99.26/99.31 c =============================================================================== 99.26/99.31 c | 2955 | 34246 185366 418025 | 61788 1290 26 | 35.161 % | 99.26/99.36 c =============================================================================== 99.26/99.36 c New solution: 252 99.26/99.36 o 252 99.26/99.36 c Elapsed CPU time: 99.1729 s Remaining CPU time: 80.8271 s 99.26/99.36 c =============================================================================== 99.26/99.36 c | 2959 | 34064 185367 418325 | 61789 1294 26 | 35.161 % | 99.36/99.40 c =============================================================================== 99.36/99.40 c New solution: 251 99.36/99.40 o 251 99.36/99.40 c Elapsed CPU time: 99.2199 s Remaining CPU time: 80.7801 s 99.36/99.40 c =============================================================================== 99.36/99.40 c | 2962 | 33882 185368 418625 | 61789 1297 26 | 35.161 % | 99.36/99.45 c =============================================================================== 99.36/99.45 c New solution: 250 99.36/99.45 o 250 99.36/99.45 c Elapsed CPU time: 99.2609 s Remaining CPU time: 80.7391 s 99.36/99.45 c =============================================================================== 99.36/99.45 c | 2969 | 33700 185369 418925 | 61789 1304 26 | 35.161 % | 99.36/99.49 c =============================================================================== 99.36/99.49 c New solution: 249 99.36/99.49 o 249 99.36/99.49 c Elapsed CPU time: 99.3059 s Remaining CPU time: 80.6941 s 99.36/99.49 c =============================================================================== 99.36/99.49 c | 2974 | 33518 185370 419225 | 61790 1309 26 | 35.161 % | 99.46/99.53 c =============================================================================== 99.46/99.53 c New solution: 248 99.46/99.53 o 248 99.46/99.53 c Elapsed CPU time: 99.3479 s Remaining CPU time: 80.6521 s 99.46/99.53 c =============================================================================== 99.46/99.53 c | 2978 | 33336 185371 419525 | 61790 689 21 | 35.161 % | 99.46/99.58 c =============================================================================== 99.46/99.58 c New solution: 247 99.46/99.58 o 247 99.46/99.58 c Elapsed CPU time: 99.3959 s Remaining CPU time: 80.6041 s 99.46/99.58 c =============================================================================== 99.46/99.58 c | 2996 | 33154 185372 419825 | 61790 707 21 | 35.161 % | 99.56/99.64 c =============================================================================== 99.56/99.64 c New solution: 246 99.56/99.64 o 246 99.56/99.64 c Elapsed CPU time: 99.4519 s Remaining CPU time: 80.5481 s 99.56/99.64 c =============================================================================== 99.56/99.64 c | 3011 | 32972 185373 420125 | 61791 722 20 | 35.161 % | 99.56/99.68 c =============================================================================== 99.56/99.68 c New solution: 245 99.56/99.68 o 245 99.56/99.68 c Elapsed CPU time: 99.4929 s Remaining CPU time: 80.5071 s 99.56/99.68 c =============================================================================== 99.56/99.68 c | 3025 | 32790 185374 420425 | 61791 736 20 | 35.161 % | 99.66/99.73 c =============================================================================== 99.66/99.73 c New solution: 244 99.66/99.73 o 244 99.66/99.73 c Elapsed CPU time: 99.5409 s Remaining CPU time: 80.4591 s 99.66/99.73 c =============================================================================== 99.66/99.73 c | 3050 | 32608 185375 420725 | 61791 761 21 | 35.161 % | 99.66/99.77 c | 3150 | 32606 185375 420725 | 67970 861 21 | 40.809 % | 99.76/99.82 c =============================================================================== 99.76/99.82 c New solution: 243 99.76/99.82 o 243 99.76/99.82 c Elapsed CPU time: 99.6339 s Remaining CPU time: 80.3661 s 99.76/99.82 c =============================================================================== 99.76/99.82 c | 3190 | 32426 185376 421025 | 61792 901 21 | 40.809 % | 99.76/99.87 c =============================================================================== 99.76/99.87 c New solution: 242 99.76/99.87 o 242 99.76/99.87 c Elapsed CPU time: 99.6808 s Remaining CPU time: 80.3192 s 99.76/99.87 c =============================================================================== 99.76/99.87 c | 3197 | 32244 185377 421325 | 61792 908 21 | 40.809 % | 99.86/99.92 c =============================================================================== 99.86/99.92 c New solution: 241 99.86/99.92 o 241 99.86/99.92 c Elapsed CPU time: 99.7268 s Remaining CPU time: 80.2732 s 99.86/99.92 c =============================================================================== 99.86/99.92 c | 3221 | 32062 185378 421625 | 61792 932 21 | 40.809 % | 99.86/99.97 c =============================================================================== 99.86/99.97 c New solution: 240 99.86/99.97 o 240 99.86/99.97 c Elapsed CPU time: 99.7798 s Remaining CPU time: 80.2202 s 99.86/99.97 c =============================================================================== 99.86/99.97 c | 3234 | 31880 185379 421925 | 61793 698 22 | 40.809 % | 99.96/100.03 c =============================================================================== 99.96/100.03 c New solution: 239 99.96/100.03 o 239 99.96/100.03 c Elapsed CPU time: 99.8348 s Remaining CPU time: 80.1652 s 99.96/100.03 c =============================================================================== 99.96/100.03 c | 3255 | 31698 185380 422225 | 61793 719 22 | 40.809 % | 99.96/100.08 c =============================================================================== 99.96/100.08 c New solution: 238 99.96/100.08 o 238 99.96/100.08 c Elapsed CPU time: 99.8798 s Remaining CPU time: 80.1202 s 99.96/100.08 c =============================================================================== 99.96/100.08 c | 3261 | 31516 185381 422525 | 61793 725 22 | 40.809 % | 100.06/100.12 c =============================================================================== 100.06/100.12 c New solution: 237 100.06/100.12 o 237 100.06/100.12 c Elapsed CPU time: 99.9268 s Remaining CPU time: 80.0732 s 100.06/100.12 c =============================================================================== 100.06/100.12 c | 3270 | 31334 185382 422825 | 61794 734 22 | 40.809 % | 100.06/100.16 c =============================================================================== 100.06/100.16 c New solution: 236 100.06/100.16 o 236 100.06/100.16 c Elapsed CPU time: 99.9688 s Remaining CPU time: 80.0312 s 100.06/100.16 c =============================================================================== 100.06/100.16 c | 3281 | 31152 185383 423125 | 61794 745 22 | 40.809 % | 100.17/100.21 c =============================================================================== 100.17/100.21 c New solution: 235 100.17/100.21 o 235 100.17/100.21 c Elapsed CPU time: 100.015 s Remaining CPU time: 79.9852 s 100.17/100.21 c =============================================================================== 100.17/100.21 c | 3303 | 30970 185384 423425 | 61794 767 22 | 40.809 % | 100.17/100.26 c =============================================================================== 100.17/100.26 c New solution: 234 100.17/100.26 o 234 100.17/100.26 c Elapsed CPU time: 100.058 s Remaining CPU time: 79.9422 s 100.17/100.26 c =============================================================================== 100.17/100.26 c | 3325 | 30788 185385 423725 | 61795 789 22 | 40.809 % | 100.26/100.31 c =============================================================================== 100.26/100.31 c New solution: 233 100.26/100.31 o 233 100.26/100.31 c Elapsed CPU time: 100.108 s Remaining CPU time: 79.8922 s 100.26/100.31 c =============================================================================== 100.26/100.31 c | 3329 | 30606 185386 424025 | 61795 793 22 | 40.809 % | 100.26/100.35 c =============================================================================== 100.26/100.35 c New solution: 232 100.26/100.35 o 232 100.26/100.35 c Elapsed CPU time: 100.147 s Remaining CPU time: 79.8532 s 100.26/100.35 c =============================================================================== 100.26/100.35 c | 3337 | 30424 185387 424325 | 61795 801 22 | 40.809 % | 100.26/100.39 c =============================================================================== 100.26/100.39 c New solution: 231 100.26/100.39 o 231 100.26/100.39 c Elapsed CPU time: 100.188 s Remaining CPU time: 79.8122 s 100.26/100.39 c =============================================================================== 100.26/100.39 c | 3354 | 30242 185388 424625 | 61796 818 22 | 40.809 % | 100.36/100.43 c =============================================================================== 100.36/100.43 c New solution: 230 100.36/100.43 o 230 100.36/100.43 c Elapsed CPU time: 100.232 s Remaining CPU time: 79.7682 s 100.36/100.43 c =============================================================================== 100.36/100.43 c | 3365 | 30060 185389 424925 | 61796 563 21 | 40.809 % | 100.36/100.47 c =============================================================================== 100.36/100.47 c New solution: 229 100.36/100.47 o 229 100.36/100.47 c Elapsed CPU time: 100.27 s Remaining CPU time: 79.7302 s 100.36/100.47 c =============================================================================== 100.36/100.47 c | 3372 | 29878 185390 425225 | 61796 570 21 | 40.809 % | 100.46/100.51 c =============================================================================== 100.46/100.51 c New solution: 228 100.46/100.51 o 228 100.46/100.51 c Elapsed CPU time: 100.314 s Remaining CPU time: 79.6863 s 100.46/100.51 c =============================================================================== 100.46/100.51 c | 3377 | 29696 185391 425525 | 61797 575 21 | 40.809 % | 100.46/100.55 c =============================================================================== 100.46/100.55 c New solution: 227 100.46/100.55 o 227 100.46/100.55 c Elapsed CPU time: 100.354 s Remaining CPU time: 79.6463 s 100.46/100.55 c =============================================================================== 100.46/100.55 c | 3391 | 29514 185392 425825 | 61797 589 21 | 40.809 % | 100.56/100.61 c =============================================================================== 100.56/100.61 c New solution: 226 100.56/100.61 o 226 100.56/100.61 c Elapsed CPU time: 100.405 s Remaining CPU time: 79.5953 s 100.56/100.61 c =============================================================================== 100.56/100.61 c | 3414 | 29332 185393 426125 | 61797 612 21 | 40.809 % | 100.56/100.65 c =============================================================================== 100.56/100.65 c New solution: 225 100.56/100.65 o 225 100.56/100.65 c Elapsed CPU time: 100.447 s Remaining CPU time: 79.5533 s 100.56/100.65 c =============================================================================== 100.56/100.65 c | 3426 | 29150 185394 426425 | 61798 624 21 | 40.809 % | 100.66/100.72 c | 3526 | 29147 185394 426425 | 67977 724 22 | 47.121 % | 100.66/100.76 c =============================================================================== 100.66/100.76 c New solution: 224 100.66/100.76 o 224 100.66/100.76 c Elapsed CPU time: 100.562 s Remaining CPU time: 79.4383 s 100.66/100.76 c =============================================================================== 100.66/100.76 c | 3548 | 28968 185395 426725 | 61798 746 22 | 47.121 % | 100.76/100.81 c =============================================================================== 100.76/100.81 c New solution: 223 100.76/100.81 o 223 100.76/100.81 c Elapsed CPU time: 100.609 s Remaining CPU time: 79.3913 s 100.76/100.81 c =============================================================================== 100.76/100.81 c | 3562 | 28786 185396 427025 | 61798 760 22 | 47.121 % | 100.76/100.86 c | 3662 | 28782 185396 427025 | 67978 860 24 | 47.786 % | 100.86/100.92 c =============================================================================== 100.86/100.92 c New solution: 222 100.86/100.92 o 222 100.86/100.92 c Elapsed CPU time: 100.719 s Remaining CPU time: 79.2813 s 100.86/100.92 c =============================================================================== 100.86/100.92 c | 3702 | 28604 185397 427325 | 61799 613 23 | 47.786 % | 100.86/100.97 c =============================================================================== 100.86/100.97 c New solution: 221 100.86/100.97 o 221 100.86/100.97 c Elapsed CPU time: 100.762 s Remaining CPU time: 79.2383 s 100.86/100.97 c =============================================================================== 100.86/100.97 c | 3713 | 28422 185398 427625 | 61799 624 23 | 47.786 % | 100.96/101.02 c | 3813 | 28402 185398 427625 | 67979 724 23 | 48.450 % | 100.96/101.07 c =============================================================================== 100.96/101.07 c New solution: 220 100.96/101.07 o 220 100.96/101.07 c Elapsed CPU time: 100.864 s Remaining CPU time: 79.1363 s 100.96/101.07 c =============================================================================== 100.96/101.07 c | 3838 | 28240 185399 427925 | 61799 749 23 | 48.450 % | 101.06/101.11 c =============================================================================== 101.06/101.11 c New solution: 219 101.06/101.11 o 219 101.06/101.11 c Elapsed CPU time: 100.904 s Remaining CPU time: 79.0963 s 101.06/101.11 c =============================================================================== 101.06/101.11 c | 3859 | 28058 185400 428225 | 61800 770 23 | 48.450 % | 101.06/101.17 c | 3959 | 28055 185400 428225 | 67980 870 24 | 49.115 % | 101.17/101.22 c =============================================================================== 101.17/101.22 c New solution: 218 101.17/101.22 o 218 101.17/101.22 c Elapsed CPU time: 101.014 s Remaining CPU time: 78.9864 s 101.17/101.22 c =============================================================================== 101.17/101.22 c | 4008 | 27876 185401 428525 | 61800 919 24 | 49.115 % | 101.17/101.29 c | 4108 | 27867 185401 428525 | 67980 1019 24 | 49.447 % | 101.26/101.34 c =============================================================================== 101.26/101.34 c New solution: 217 101.26/101.34 o 217 101.26/101.34 c Elapsed CPU time: 101.129 s Remaining CPU time: 78.8714 s 101.26/101.34 c =============================================================================== 101.26/101.34 c | 4129 | 27694 185402 428825 | 61800 872 24 | 49.447 % | 101.26/101.39 c | 4229 | 27688 185402 428825 | 67980 972 24 | 49.779 % | 101.36/101.43 c =============================================================================== 101.36/101.43 c New solution: 216 101.36/101.43 o 216 101.36/101.43 c Elapsed CPU time: 101.218 s Remaining CPU time: 78.7824 s 101.36/101.43 c =============================================================================== 101.36/101.43 c | 4242 | 27512 185403 429125 | 61801 985 24 | 49.779 % | 101.36/101.47 c =============================================================================== 101.36/101.47 c New solution: 215 101.36/101.47 o 215 101.36/101.47 c Elapsed CPU time: 101.261 s Remaining CPU time: 78.7394 s 101.36/101.47 c =============================================================================== 101.36/101.47 c | 4270 | 27330 185404 429425 | 61801 1013 24 | 49.779 % | 101.46/101.54 c =============================================================================== 101.46/101.54 c New solution: 214 101.46/101.54 o 214 101.46/101.54 c Elapsed CPU time: 101.327 s Remaining CPU time: 78.6734 s 101.46/101.54 c =============================================================================== 101.46/101.54 c | 4336 | 27148 185405 429725 | 61801 1079 24 | 49.779 % | 101.46/101.58 c | 4438 | 27135 185405 429725 | 67981 1181 24 | 50.776 % | 101.56/101.69 c | 4588 | 27133 185405 429725 | 74780 1331 25 | 50.776 % | 101.66/101.74 c =============================================================================== 101.66/101.74 c New solution: 213 101.66/101.74 o 213 101.66/101.74 c Elapsed CPU time: 101.52 s Remaining CPU time: 78.4804 s 101.66/101.74 c =============================================================================== 101.66/101.74 c | 4593 | 26966 185406 430025 | 61802 1143 23 | 50.776 % | 101.66/101.78 c =============================================================================== 101.66/101.78 c New solution: 212 101.66/101.78 o 212 101.66/101.78 c Elapsed CPU time: 101.562 s Remaining CPU time: 78.4384 s 101.66/101.78 c =============================================================================== 101.66/101.78 c | 4594 | 26784 185407 430325 | 61802 1144 23 | 50.776 % | 101.76/101.82 c =============================================================================== 101.76/101.82 c New solution: 211 101.76/101.82 o 211 101.76/101.82 c Elapsed CPU time: 101.609 s Remaining CPU time: 78.3914 s 101.76/101.82 c =============================================================================== 101.76/101.82 c | 4608 | 26602 185408 430625 | 61802 1158 23 | 50.776 % | 101.76/101.88 c =============================================================================== 101.76/101.88 c New solution: 210 101.76/101.88 o 210 101.76/101.88 c Elapsed CPU time: 101.66 s Remaining CPU time: 78.3405 s 101.76/101.88 c =============================================================================== 101.76/101.88 c | 4633 | 26420 185409 430925 | 61803 1183 23 | 50.776 % | 101.86/101.92 c =============================================================================== 101.86/101.92 c New solution: 209 101.86/101.92 o 209 101.86/101.92 c Elapsed CPU time: 101.7 s Remaining CPU time: 78.3005 s 101.86/101.92 c =============================================================================== 101.86/101.92 c | 4634 | 26238 185410 431225 | 61803 1184 23 | 50.776 % | 101.86/101.96 c =============================================================================== 101.86/101.96 c New solution: 208 101.86/101.96 o 208 101.86/101.96 c Elapsed CPU time: 101.741 s Remaining CPU time: 78.2595 s 101.86/101.96 c =============================================================================== 101.86/101.96 c | 4637 | 26056 185411 431525 | 61803 1187 23 | 50.776 % | 101.96/102.00 c =============================================================================== 101.96/102.00 c New solution: 207 101.96/102.00 o 207 101.96/102.00 c Elapsed CPU time: 101.782 s Remaining CPU time: 78.2185 s 101.96/102.00 c =============================================================================== 101.96/102.00 c | 4643 | 25874 185412 431825 | 61804 1193 23 | 50.776 % | 101.96/102.06 c =============================================================================== 101.96/102.06 c New solution: 206 101.96/102.06 o 206 101.96/102.06 c Elapsed CPU time: 101.839 s Remaining CPU time: 78.1615 s 101.96/102.06 c =============================================================================== 101.96/102.06 c | 4709 | 25692 185413 432125 | 61804 1259 23 | 50.776 % | 102.06/102.11 c | 4809 | 25675 185413 432125 | 67984 1359 24 | 53.434 % | 102.06/102.15 c =============================================================================== 102.06/102.15 c New solution: 205 102.06/102.15 o 205 102.06/102.15 c Elapsed CPU time: 101.93 s Remaining CPU time: 78.0705 s 102.06/102.15 c =============================================================================== 102.06/102.15 c | 4820 | 25510 185414 432425 | 61804 1370 24 | 53.434 % | 102.17/102.21 c =============================================================================== 102.17/102.21 c New solution: 204 102.17/102.21 o 204 102.17/102.21 c Elapsed CPU time: 101.986 s Remaining CPU time: 78.0135 s 102.17/102.21 c =============================================================================== 102.17/102.21 c | 4847 | 25328 185415 432725 | 61805 1397 24 | 53.434 % | 102.17/102.25 c =============================================================================== 102.17/102.25 c New solution: 203 102.17/102.25 o 203 102.17/102.25 c Elapsed CPU time: 102.03 s Remaining CPU time: 77.9695 s 102.17/102.25 c =============================================================================== 102.17/102.25 c | 4854 | 25146 185416 433025 | 61805 722 20 | 53.434 % | 102.17/102.29 c =============================================================================== 102.17/102.29 c New solution: 202 102.17/102.29 o 202 102.17/102.29 c Elapsed CPU time: 102.068 s Remaining CPU time: 77.9315 s 102.17/102.29 c =============================================================================== 102.17/102.29 c | 4859 | 24964 185417 433325 | 61805 727 20 | 53.434 % | 102.27/102.33 c =============================================================================== 102.27/102.33 c New solution: 201 102.27/102.33 o 201 102.27/102.33 c Elapsed CPU time: 102.107 s Remaining CPU time: 77.8925 s 102.27/102.33 c =============================================================================== 102.27/102.33 c | 4864 | 24782 185418 433625 | 61806 732 20 | 53.434 % | 102.27/102.37 c =============================================================================== 102.27/102.37 c New solution: 200 102.27/102.37 o 200 102.27/102.37 c Elapsed CPU time: 102.142 s Remaining CPU time: 77.8575 s 102.27/102.37 c =============================================================================== 102.27/102.37 c | 4871 | 24600 185419 433925 | 61806 739 20 | 53.434 % | 102.36/102.41 c | 4972 | 24577 185419 433925 | 67986 840 21 | 55.427 % | 102.46/102.51 c | 5124 | 24567 185419 433925 | 74785 992 23 | 55.427 % | 102.46/102.54 c =============================================================================== 102.46/102.54 c New solution: 199 102.46/102.54 o 199 102.46/102.54 c Elapsed CPU time: 102.316 s Remaining CPU time: 77.6836 s 102.46/102.54 c =============================================================================== 102.46/102.54 c | 5127 | 24418 185420 434225 | 61806 995 23 | 55.427 % | 102.46/102.58 c =============================================================================== 102.46/102.58 c New solution: 198 102.46/102.58 o 198 102.46/102.58 c Elapsed CPU time: 102.354 s Remaining CPU time: 77.6456 s 102.46/102.58 c =============================================================================== 102.46/102.58 c | 5131 | 24236 185421 434525 | 61807 999 23 | 55.427 % | 102.56/102.63 c | 5233 | 24231 185421 434525 | 67987 1101 24 | 56.091 % | 102.56/102.69 c =============================================================================== 102.56/102.69 c New solution: 197 102.56/102.69 o 197 102.56/102.69 c Elapsed CPU time: 102.467 s Remaining CPU time: 77.5326 s 102.56/102.69 c =============================================================================== 102.56/102.69 c | 5293 | 24054 185422 434825 | 61807 1161 24 | 56.091 % | 102.66/102.74 c | 5393 | 23872 185422 434825 | 67988 1044 26 | 56.424 % | 102.76/102.84 c | 5545 | 23872 185422 434825 | 74786 1196 26 | 56.424 % | 102.76/102.87 c =============================================================================== 102.76/102.87 c New solution: 196 102.76/102.87 o 196 102.76/102.87 c Elapsed CPU time: 102.642 s Remaining CPU time: 77.3576 s 102.76/102.87 c =============================================================================== 102.76/102.87 c | 5548 | 23872 185423 435125 | 61807 1199 26 | 56.424 % | 102.86/102.92 c | 5648 | 23853 185423 435125 | 67988 1299 27 | 56.756 % | 102.86/102.98 c | 5801 | 23850 185423 435125 | 74787 1452 26 | 56.756 % | 102.95/103.04 c =============================================================================== 102.95/103.04 c New solution: 195 102.95/103.04 o 195 102.95/103.04 c Elapsed CPU time: 102.814 s Remaining CPU time: 77.1856 s 102.95/103.04 c =============================================================================== 102.95/103.04 c | 5844 | 23690 185424 435425 | 61808 1495 26 | 56.756 % | 102.95/103.08 c =============================================================================== 102.95/103.08 c New solution: 194 102.95/103.08 o 194 102.95/103.08 c Elapsed CPU time: 102.854 s Remaining CPU time: 77.1456 s 102.95/103.08 c =============================================================================== 102.95/103.08 c | 5863 | 23508 185425 435725 | 61808 1514 26 | 56.756 % | 103.05/103.13 c =============================================================================== 103.05/103.13 c New solution: 193 103.05/103.13 o 193 103.05/103.13 c Elapsed CPU time: 102.899 s Remaining CPU time: 77.1006 s 103.05/103.13 c =============================================================================== 103.05/103.13 c | 5881 | 23326 185426 436025 | 61808 1325 25 | 56.756 % | 103.05/103.17 c =============================================================================== 103.05/103.17 c New solution: 192 103.05/103.17 o 192 103.05/103.17 c Elapsed CPU time: 102.94 s Remaining CPU time: 77.0597 s 103.05/103.17 c =============================================================================== 103.05/103.17 c | 5892 | 23144 185427 436325 | 61809 1336 25 | 56.756 % | 103.16/103.21 c | 5993 | 23144 185427 436325 | 67989 1437 25 | 58.085 % | 103.27/103.30 c | 6144 | 23136 185427 436325 | 74788 1588 25 | 58.085 % | 103.27/103.33 c =============================================================================== 103.27/103.33 c New solution: 191 103.27/103.33 o 191 103.27/103.33 c Elapsed CPU time: 103.104 s Remaining CPU time: 76.8957 s 103.27/103.33 c =============================================================================== 103.27/103.33 c | 6148 | 22962 185428 436625 | 61809 1592 25 | 58.085 % | 103.27/103.38 c =============================================================================== 103.27/103.38 c New solution: 190 103.27/103.38 o 190 103.27/103.38 c Elapsed CPU time: 103.15 s Remaining CPU time: 76.8497 s 103.27/103.38 c =============================================================================== 103.27/103.38 c | 6160 | 22780 185429 436925 | 61809 1604 25 | 58.085 % | 103.37/103.42 c =============================================================================== 103.37/103.42 c New solution: 189 103.37/103.42 o 189 103.37/103.42 c Elapsed CPU time: 103.19 s Remaining CPU time: 76.8097 s 103.37/103.42 c =============================================================================== 103.37/103.42 c | 6184 | 22598 185430 437225 | 61810 1628 25 | 58.085 % | 103.37/103.48 c | 6284 | 22590 185430 437225 | 67991 1728 25 | 59.081 % | 103.46/103.52 c =============================================================================== 103.46/103.52 c New solution: 188 103.46/103.52 o 188 103.46/103.52 c Elapsed CPU time: 103.287 s Remaining CPU time: 76.7127 s 103.46/103.52 c =============================================================================== 103.46/103.52 c | 6301 | 22416 185431 437525 | 61810 1745 25 | 59.081 % | 103.46/103.55 c =============================================================================== 103.46/103.55 c New solution: 187 103.46/103.55 o 187 103.46/103.55 c Elapsed CPU time: 103.323 s Remaining CPU time: 76.6767 s 103.46/103.55 c =============================================================================== 103.46/103.55 c | 6316 | 22234 185432 437825 | 61810 1266 24 | 59.081 % | 103.56/103.62 c =============================================================================== 103.56/103.62 c New solution: 186 103.56/103.62 o 186 103.56/103.62 c Elapsed CPU time: 103.393 s Remaining CPU time: 76.6067 s 103.56/103.62 c =============================================================================== 103.56/103.63 c | 6400 | 22052 185433 438125 | 61811 1350 25 | 59.081 % | 103.56/103.68 c | 6500 | 22045 185433 438125 | 67992 1450 25 | 60.078 % | 103.66/103.72 c =============================================================================== 103.66/103.72 c New solution: 185 103.66/103.72 o 185 103.66/103.72 c Elapsed CPU time: 103.485 s Remaining CPU time: 76.5147 s 103.66/103.72 c =============================================================================== 103.66/103.72 c | 6515 | 21870 185434 438425 | 61811 1465 25 | 60.078 % | 103.66/103.76 c =============================================================================== 103.66/103.76 c New solution: 184 103.66/103.76 o 184 103.66/103.76 c Elapsed CPU time: 103.522 s Remaining CPU time: 76.4777 s 103.66/103.76 c =============================================================================== 103.66/103.76 c | 6519 | 21688 185435 438725 | 61811 1469 25 | 60.078 % | 103.66/103.79 c =============================================================================== 103.66/103.79 c New solution: 183 103.66/103.79 o 183 103.66/103.79 c Elapsed CPU time: 103.559 s Remaining CPU time: 76.4407 s 103.66/103.79 c =============================================================================== 103.66/103.79 c | 6522 | 21506 185436 439025 | 61812 1472 25 | 60.078 % | 103.76/103.83 c =============================================================================== 103.76/103.83 c New solution: 182 103.76/103.83 o 182 103.76/103.83 c Elapsed CPU time: 103.598 s Remaining CPU time: 76.4018 s 103.76/103.83 c =============================================================================== 103.76/103.83 c | 6528 | 21324 185437 439325 | 61812 1478 25 | 60.078 % | 103.76/103.87 c | 6630 | 21293 185437 439325 | 67993 1580 24 | 61.407 % | 103.86/103.95 c | 6780 | 21291 185437 439325 | 74792 1730 24 | 61.407 % | 103.96/104.03 c =============================================================================== 103.96/104.03 c New solution: 181 103.96/104.03 o 181 103.96/104.03 c Elapsed CPU time: 103.797 s Remaining CPU time: 76.2028 s 103.96/104.03 c =============================================================================== 103.96/104.03 c | 6870 | 21142 185438 439625 | 61812 1820 24 | 61.407 % | 103.96/104.07 c =============================================================================== 103.96/104.07 c New solution: 180 103.96/104.07 o 180 103.96/104.07 c Elapsed CPU time: 103.838 s Remaining CPU time: 76.1618 s 103.96/104.07 c =============================================================================== 103.96/104.07 c | 6883 | 20960 185439 439925 | 61813 1414 23 | 61.407 % | 104.06/104.11 c =============================================================================== 104.06/104.11 c New solution: 179 104.06/104.11 o 179 104.06/104.11 c Elapsed CPU time: 103.874 s Remaining CPU time: 76.1258 s 104.06/104.11 c =============================================================================== 104.06/104.11 c | 6897 | 20778 185440 440225 | 61813 1428 23 | 61.407 % | 104.06/104.17 c | 7000 | 20778 185440 440225 | 67994 1531 24 | 62.404 % | 104.16/104.21 c =============================================================================== 104.16/104.21 c New solution: 178 104.16/104.21 o 178 104.16/104.21 c Elapsed CPU time: 103.967 s Remaining CPU time: 76.0328 s 104.16/104.21 c =============================================================================== 104.16/104.21 c | 7019 | 20596 185441 440525 | 61813 1550 23 | 62.404 % | 104.16/104.24 c =============================================================================== 104.16/104.24 c New solution: 177 104.16/104.24 o 177 104.16/104.24 c Elapsed CPU time: 104.006 s Remaining CPU time: 75.9938 s 104.16/104.24 c =============================================================================== 104.16/104.24 c | 7037 | 20414 185442 440825 | 61814 1568 23 | 62.404 % | 104.16/104.29 c | 7138 | 20412 185442 440825 | 67995 1669 24 | 63.068 % | 104.37/104.40 c | 7288 | 20403 185442 440825 | 74794 1819 25 | 63.068 % | 104.37/104.48 c | 7513 | 20394 185442 440825 | 82274 2044 26 | 63.068 % | 104.56/104.67 c | 7851 | 20232 185442 440825 | 90501 2085 26 | 63.068 % | 104.66/104.71 c =============================================================================== 104.66/104.71 c New solution: 176 104.66/104.71 o 176 104.66/104.71 c Elapsed CPU time: 104.469 s Remaining CPU time: 75.5309 s 104.66/104.71 c =============================================================================== 104.66/104.71 c | 7866 | 20232 185443 441125 | 61814 2100 26 | 63.068 % | 104.66/104.76 c =============================================================================== 104.66/104.76 c New solution: 175 104.66/104.76 o 175 104.66/104.76 c Elapsed CPU time: 104.517 s Remaining CPU time: 75.4829 s 104.66/104.76 c =============================================================================== 104.66/104.76 c | 7915 | 20050 185444 441425 | 61814 2149 26 | 63.068 % | 104.76/104.83 c | 8016 | 20043 185444 441425 | 67996 2250 26 | 63.733 % | 104.76/104.86 c =============================================================================== 104.76/104.86 c New solution: 174 104.76/104.86 o 174 104.76/104.86 c Elapsed CPU time: 104.625 s Remaining CPU time: 75.3749 s 104.76/104.86 c =============================================================================== 104.76/104.86 c | 8020 | 19868 185445 441725 | 61815 2254 26 | 63.733 % | 104.86/104.90 c =============================================================================== 104.86/104.90 c New solution: 173 104.86/104.90 o 173 104.86/104.90 c Elapsed CPU time: 104.665 s Remaining CPU time: 75.3349 s 104.86/104.90 c =============================================================================== 104.86/104.90 c | 8033 | 19686 185446 442025 | 61815 2267 26 | 63.733 % | 104.86/104.94 c =============================================================================== 104.86/104.94 c New solution: 172 104.86/104.94 o 172 104.86/104.94 c Elapsed CPU time: 104.703 s Remaining CPU time: 75.2969 s 104.86/104.94 c =============================================================================== 104.86/104.94 c | 8041 | 19504 185447 442325 | 61815 2275 26 | 63.733 % | 104.86/104.98 c =============================================================================== 104.86/104.98 c New solution: 171 104.86/104.98 o 171 104.86/104.98 c Elapsed CPU time: 104.741 s Remaining CPU time: 75.2589 s 104.86/104.98 c =============================================================================== 104.86/104.98 c | 8051 | 19322 185448 442625 | 61816 2285 26 | 63.733 % | 104.96/105.02 c =============================================================================== 104.96/105.02 c New solution: 170 104.96/105.02 o 170 104.96/105.02 c Elapsed CPU time: 104.78 s Remaining CPU time: 75.2199 s 104.96/105.02 c =============================================================================== 104.96/105.02 c | 8072 | 19140 185449 442925 | 61816 2306 26 | 63.733 % | 105.06/105.10 c | 8172 | 18958 185449 442925 | 67997 1630 25 | 65.394 % | 105.06/105.13 c =============================================================================== 105.06/105.13 c New solution: 169 105.06/105.13 o 169 105.06/105.13 c Elapsed CPU time: 104.894 s Remaining CPU time: 75.1059 s 105.06/105.13 c =============================================================================== 105.06/105.13 c | 8189 | 18958 185450 443225 | 61816 1647 25 | 65.394 % | 105.06/105.17 c =============================================================================== 105.06/105.17 c New solution: 168 105.06/105.17 o 168 105.06/105.17 c Elapsed CPU time: 104.927 s Remaining CPU time: 75.073 s 105.06/105.17 c =============================================================================== 105.06/105.17 c | 8193 | 18776 185451 443525 | 61817 1651 24 | 65.394 % | 105.16/105.20 c =============================================================================== 105.16/105.20 c New solution: 167 105.16/105.20 o 167 105.16/105.20 c Elapsed CPU time: 104.963 s Remaining CPU time: 75.037 s 105.16/105.20 c =============================================================================== 105.16/105.20 c | 8212 | 18594 185452 443825 | 61817 1670 24 | 65.394 % | 105.16/105.26 c | 8312 | 18585 185452 443825 | 67999 1770 25 | 66.390 % | 105.26/105.32 c =============================================================================== 105.26/105.32 c New solution: 166 105.26/105.32 o 166 105.26/105.32 c Elapsed CPU time: 105.077 s Remaining CPU time: 74.923 s 105.26/105.32 c =============================================================================== 105.26/105.32 c | 8342 | 18412 185453 444125 | 61817 1800 25 | 66.390 % | 105.26/105.36 c =============================================================================== 105.26/105.36 c New solution: 165 105.26/105.36 o 165 105.26/105.36 c Elapsed CPU time: 105.118 s Remaining CPU time: 74.882 s 105.26/105.36 c =============================================================================== 105.26/105.36 c | 8355 | 18230 185454 444425 | 61818 1813 25 | 66.390 % | 105.26/105.39 c =============================================================================== 105.26/105.39 c New solution: 164 105.26/105.39 o 164 105.26/105.39 c Elapsed CPU time: 105.151 s Remaining CPU time: 74.849 s 105.26/105.39 c =============================================================================== 105.26/105.39 c | 8360 | 18048 185455 444725 | 61818 1818 25 | 66.390 % | 105.36/105.44 c | 8460 | 18034 185455 444725 | 68000 1918 25 | 67.387 % | 105.47/105.56 c | 8611 | 18029 185455 444725 | 74800 2069 26 | 67.387 % | 105.57/105.61 c =============================================================================== 105.57/105.61 c New solution: 163 105.57/105.61 o 163 105.57/105.61 c Elapsed CPU time: 105.37 s Remaining CPU time: 74.63 s 105.57/105.61 c =============================================================================== 105.57/105.61 c | 8700 | 17866 185456 445025 | 61818 1653 24 | 67.387 % | 105.57/105.65 c | 8800 | 17842 185456 445025 | 68000 1753 24 | 67.719 % | 105.66/105.76 c | 8950 | 17839 185456 445025 | 74800 1903 25 | 67.719 % | 105.76/105.81 c =============================================================================== 105.76/105.81 c New solution: 162 105.76/105.81 o 162 105.76/105.81 c Elapsed CPU time: 105.565 s Remaining CPU time: 74.435 s 105.76/105.81 c =============================================================================== 105.76/105.81 c | 8989 | 17684 185457 445325 | 61819 1942 25 | 67.719 % | 105.76/105.86 c | 9089 | 17652 185457 445325 | 68000 2042 26 | 68.052 % | 105.86/105.98 c | 9239 | 17651 185457 445325 | 74800 2192 27 | 68.052 % | 105.96/106.02 c =============================================================================== 105.96/106.02 c New solution: 161 105.96/106.02 o 161 105.96/106.02 c Elapsed CPU time: 105.772 s Remaining CPU time: 74.2281 s 105.96/106.02 c =============================================================================== 105.96/106.02 c | 9258 | 17502 185458 445625 | 61819 2211 26 | 68.052 % | 105.96/106.06 c =============================================================================== 105.96/106.06 c New solution: 160 105.96/106.06 o 160 105.96/106.06 c Elapsed CPU time: 105.813 s Remaining CPU time: 74.1871 s 105.96/106.06 c =============================================================================== 105.96/106.06 c | 9286 | 17320 185459 445925 | 61819 2239 26 | 68.052 % | 106.06/106.11 c | 9388 | 17138 185459 445925 | 68001 1903 26 | 68.716 % | 106.16/106.21 c | 9538 | 17138 185459 445925 | 74801 2053 27 | 68.716 % | 106.16/106.26 c =============================================================================== 106.16/106.26 c New solution: 159 106.16/106.26 o 159 106.16/106.26 c Elapsed CPU time: 106.015 s Remaining CPU time: 73.9851 s 106.16/106.26 c =============================================================================== 106.16/106.26 c | 9590 | 17138 185460 446225 | 61820 2105 26 | 68.716 % | 106.26/106.32 c =============================================================================== 106.26/106.32 c New solution: 158 106.26/106.32 o 158 106.26/106.32 c Elapsed CPU time: 106.07 s Remaining CPU time: 73.9301 s 106.26/106.32 c =============================================================================== 106.26/106.32 c | 9632 | 16956 185461 446525 | 61820 2147 26 | 68.716 % | 106.26/106.35 c =============================================================================== 106.26/106.35 c New solution: 157 106.26/106.35 o 157 106.26/106.35 c Elapsed CPU time: 106.103 s Remaining CPU time: 73.8971 s 106.26/106.35 c =============================================================================== 106.26/106.35 c | 9638 | 16774 185462 446825 | 61820 2153 26 | 68.716 % | 106.26/106.39 c =============================================================================== 106.26/106.39 c New solution: 156 106.26/106.39 o 156 106.26/106.39 c Elapsed CPU time: 106.14 s Remaining CPU time: 73.8601 s 106.26/106.39 c =============================================================================== 106.26/106.39 c | 9656 | 16592 185463 447125 | 61821 2171 26 | 68.716 % | 106.36/106.45 c | 9757 | 16584 185463 447125 | 68003 2272 26 | 70.045 % | 106.46/106.56 c | 9907 | 16578 185463 447125 | 74803 2422 27 | 70.045 % | 106.46/106.60 c =============================================================================== 106.46/106.60 c New solution: 155 106.46/106.60 o 155 106.46/106.60 c Elapsed CPU time: 106.34 s Remaining CPU time: 73.6602 s 106.46/106.60 c =============================================================================== 106.46/106.60 c | 9920 | 16410 185464 447425 | 61821 2028 26 | 70.045 % | 106.56/106.64 c | 10022 | 16382 185464 447425 | 68003 2130 26 | 70.377 % | 106.66/106.74 c | 10172 | 16380 185464 447425 | 74803 2280 29 | 70.377 % | 106.85/106.90 c | 10397 | 16377 185464 447425 | 82284 2505 29 | 70.377 % | 106.95/107.00 c | 10734 | 16375 185464 447425 | 90512 2842 30 | 70.377 % | 107.16/107.24 c | 11240 | 16228 185464 447425 | 99563 3243 32 | 70.377 % | 107.77/107.84 c | 11999 | 16228 185464 447425 | 109520 4002 34 | 70.377 % | 107.86/107.93 c =============================================================================== 107.86/107.93 c New solution: 154 107.86/107.93 o 154 107.86/107.93 c Elapsed CPU time: 107.669 s Remaining CPU time: 72.3314 s 107.86/107.93 c =============================================================================== 107.86/107.93 c | 12173 | 16228 185465 447725 | 61821 4176 34 | 70.377 % | 107.86/107.99 c | 12273 | 16046 185465 447725 | 68003 4111 34 | 70.709 % | 108.06/108.13 c | 12423 | 16046 185465 447725 | 74804 4261 34 | 70.709 % | 108.06/108.18 c =============================================================================== 108.06/108.18 c New solution: 153 108.06/108.18 o 153 108.06/108.18 c Elapsed CPU time: 107.915 s Remaining CPU time: 72.0854 s 108.06/108.18 c =============================================================================== 108.06/108.18 c | 12455 | 16046 185466 448025 | 61822 4293 34 | 70.709 % | 108.16/108.23 c | 12555 | 16045 185466 448025 | 68004 4393 34 | 71.042 % | 108.26/108.34 c | 12707 | 16037 185466 448025 | 74804 4545 34 | 71.042 % | 108.36/108.43 c | 12932 | 16022 185466 448025 | 82285 4770 33 | 71.042 % | 108.46/108.56 c | 13269 | 16022 185466 448025 | 90513 5107 33 | 71.042 % | 108.87/108.93 c | 13776 | 15864 185466 448025 | 99564 5487 33 | 71.042 % | 108.87/108.97 c =============================================================================== 108.87/108.97 c New solution: 152 108.87/108.97 o 152 108.87/108.97 c Elapsed CPU time: 108.699 s Remaining CPU time: 71.3005 s 108.87/108.97 c =============================================================================== 108.87/108.97 c | 13787 | 15864 185467 448325 | 61822 5498 33 | 71.042 % | 108.96/109.02 c | 13889 | 15830 185467 448325 | 68004 5600 33 | 71.374 % | 109.06/109.18 c | 14039 | 15826 185467 448325 | 74805 5750 33 | 71.374 % | 109.16/109.28 c | 14265 | 15682 185467 448325 | 82285 5826 33 | 71.374 % | 109.56/109.62 c | 14604 | 15682 185467 448325 | 90514 6165 34 | 71.374 % | 109.56/109.65 c =============================================================================== 109.56/109.65 c New solution: 151 109.56/109.65 o 151 109.56/109.65 c Elapsed CPU time: 109.376 s Remaining CPU time: 70.6236 s 109.56/109.65 c =============================================================================== 109.56/109.65 c | 14616 | 15682 185468 448625 | 61822 6177 34 | 71.374 % | 109.56/109.70 c =============================================================================== 109.56/109.70 c New solution: 150 109.56/109.70 o 150 109.56/109.70 c Elapsed CPU time: 109.418 s Remaining CPU time: 70.5816 s 109.56/109.70 c =============================================================================== 109.56/109.70 c | 14660 | 15500 185469 448925 | 61823 6221 33 | 71.374 % | 109.66/109.75 c | 14760 | 15496 185469 448925 | 68005 6321 33 | 72.038 % | 109.76/109.87 c | 14910 | 15487 185469 448925 | 74805 6471 33 | 72.038 % | 109.86/109.94 c | 15136 | 15318 185469 448925 | 82286 5876 29 | 72.038 % | 109.96/110.07 c | 15475 | 15318 185469 448925 | 90515 6215 30 | 72.038 % | 110.36/110.42 c | 15981 | 15318 185469 448925 | 99566 6721 29 | 72.038 % | 110.36/110.46 c =============================================================================== 110.36/110.46 c New solution: 149 110.36/110.46 o 149 110.36/110.46 c Elapsed CPU time: 110.174 s Remaining CPU time: 69.8257 s 110.36/110.46 c =============================================================================== 110.36/110.46 c | 15999 | 15318 185470 449225 | 61823 6739 29 | 72.038 % | 110.46/110.51 c | 16100 | 15136 185470 449225 | 68005 6453 29 | 72.370 % | 110.56/110.61 c | 16250 | 15136 185470 449225 | 74806 6603 29 | 72.370 % | 110.66/110.72 c =============================================================================== 110.66/110.72 c New solution: 148 110.66/110.72 o 148 110.66/110.72 c Elapsed CPU time: 110.435 s Remaining CPU time: 69.5648 s 110.66/110.72 c =============================================================================== 110.66/110.72 c | 16352 | 15136 185471 449525 | 61823 6705 29 | 72.370 % | 110.66/110.77 c | 16452 | 15108 185471 449525 | 68006 6805 29 | 72.703 % | 110.86/110.94 c | 16602 | 15106 185471 449525 | 74806 6955 29 | 72.703 % | 110.96/111.01 c | 16827 | 15099 185471 449525 | 82287 7180 29 | 72.703 % | 111.16/111.27 c | 17165 | 15098 185471 449525 | 90516 7518 29 | 72.703 % | 111.35/111.45 c | 17672 | 14954 185471 449525 | 99567 7707 29 | 72.703 % | 111.96/112.06 c | 18432 | 14954 185471 449525 | 109524 8467 29 | 72.703 % | 112.07/112.12 c =============================================================================== 112.07/112.12 c New solution: 147 112.07/112.12 o 147 112.07/112.12 c Elapsed CPU time: 111.825 s Remaining CPU time: 68.175 s 112.07/112.12 c =============================================================================== 112.07/112.12 c | 18458 | 14954 185472 449825 | 61824 8493 29 | 72.703 % | 112.07/112.17 c | 18558 | 14772 185472 449825 | 68006 8130 29 | 73.035 % | 112.17/112.29 c | 18709 | 14772 185472 449825 | 74807 8281 29 | 73.035 % | 112.26/112.38 c | 18934 | 14772 185472 449825 | 82287 8506 29 | 73.035 % | 112.56/112.63 c | 19271 | 14772 185472 449825 | 90516 8843 29 | 73.035 % | 112.76/112.84 c | 19777 | 14772 185472 449825 | 99568 9349 31 | 73.035 % | 113.26/113.38 c | 20537 | 14772 185472 449825 | 109524 10109 33 | 73.035 % | 113.56/113.68 c =============================================================================== 113.56/113.68 c New solution: 146 113.56/113.68 o 146 113.56/113.68 c Elapsed CPU time: 113.381 s Remaining CPU time: 66.6192 s 113.56/113.68 c =============================================================================== 113.56/113.68 c | 21472 | 14772 185473 450125 | 61824 11044 33 | 73.035 % | 113.65/113.75 c | 21573 | 14590 185473 450125 | 68006 10494 32 | 73.367 % | 113.75/113.88 c | 21723 | 14590 185473 450125 | 74807 10644 32 | 73.367 % | 113.85/113.97 c =============================================================================== 113.85/113.97 c New solution: 145 113.85/113.97 o 145 113.85/113.97 c Elapsed CPU time: 113.675 s Remaining CPU time: 66.3253 s 113.85/113.97 c =============================================================================== 113.85/113.97 c | 21903 | 14590 185474 450425 | 61824 10824 32 | 73.367 % | 113.96/114.06 c | 22003 | 14584 185474 450425 | 68007 10924 32 | 73.699 % | 114.16/114.20 c | 22155 | 14577 185474 450425 | 74807 11076 32 | 73.699 % | 114.16/114.29 c | 22380 | 14564 185474 450425 | 82288 11301 32 | 73.699 % | 114.37/114.48 c | 22717 | 14564 185474 450425 | 90517 11638 32 | 73.699 % | 114.76/114.87 c | 23225 | 14408 185474 450425 | 99569 11594 32 | 73.699 % | 115.16/115.27 c | 23984 | 14408 185474 450425 | 109526 12353 33 | 73.699 % | 115.55/115.65 c | 25123 | 14408 185474 450425 | 120478 13492 32 | 73.699 % | 117.26/117.32 c | 26831 | 14408 185474 450425 | 132526 15200 34 | 73.699 % | 118.26/118.37 c | 29395 | 14408 185474 450425 | 145779 17764 34 | 73.699 % | 121.66/121.74 c | 33239 | 14408 185474 450425 | 160357 21608 40 | 73.699 % | 123.75/123.83 c | 39006 | 14408 185474 450425 | 176392 27375 39 | 73.699 % | 131.75/131.88 c | 47657 | 14408 185474 450425 | 194032 36026 45 | 73.699 % | 132.05/132.19 c =============================================================================== 132.05/132.19 c New solution: 144 132.05/132.19 o 144 132.05/132.19 c Elapsed CPU time: 131.801 s Remaining CPU time: 48.199 s 132.05/132.19 c =============================================================================== 132.05/132.19 c | 48161 | 14408 185475 450725 | 61825 36530 45 | 73.699 % | 132.25/132.36 c | 48261 | 14226 185475 450725 | 68007 35394 44 | 74.032 % | 132.35/132.44 c | 48412 | 14226 185475 450725 | 74808 35545 44 | 74.032 % | 132.55/132.67 c | 48637 | 14226 185475 450725 | 82289 35770 44 | 74.032 % | 132.75/132.84 c | 48974 | 14226 185475 450725 | 90517 36107 44 | 74.032 % | 133.15/133.29 c | 49481 | 14226 185475 450725 | 99569 36614 43 | 74.032 % | 133.65/133.74 c | 50241 | 14218 185475 450725 | 109526 37374 43 | 74.088 % | 134.25/134.37 c | 51380 | 14218 185475 450725 | 120479 38513 43 | 74.088 % | 136.05/136.17 c | 53088 | 14218 185475 450725 | 132527 40221 43 | 74.088 % | 137.25/137.32 c | 55652 | 14195 185475 450725 | 145780 42784 43 | 74.088 % | 141.34/141.42 c | 59497 | 14195 185475 450725 | 160358 46629 44 | 74.088 % | 144.45/144.51 c | 65263 | 14195 185475 450725 | 176393 52395 44 | 74.088 % | 153.24/153.38 c | 73914 | 14195 185475 450725 | 194033 61046 45 | 74.088 % | 168.34/168.42 c | 86888 | 14195 185475 450725 | 213436 74020 45 | 74.088 % | 180.54/180.61 c There are 40587 assigned variables. 233 in cost function. 181.34/181.46 c core #1 181.34/181.46 c core #2 181.34/181.46 c core #3 181.34/181.46 c core #4 181.34/181.46 c core #5 181.34/181.46 c ============================[ Search Statistics ]============================== 181.34/181.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.34/181.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.34/181.46 c =============================================================================== 181.34/181.46 c | 0 | 3237 84030 114051 | 28010 0 nan | 0.000 % | 181.34/181.47 c =============================================================================== 181.44/181.59 c core #6 181.44/181.59 c ============================[ Search Statistics ]============================== 181.44/181.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.44/181.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.44/181.59 c =============================================================================== 181.44/181.59 c | 0 | 3482 84093 114399 | 28031 0 nan | 0.000 % | 181.54/181.60 c =============================================================================== 181.64/181.73 c core #7 181.64/181.73 c ============================[ Search Statistics ]============================== 181.64/181.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.73 c =============================================================================== 181.64/181.73 c | 0 | 3725 84154 114746 | 28051 0 nan | 0.000 % | 181.64/181.73 c =============================================================================== 181.74/181.86 c core #8 181.74/181.86 c ============================[ Search Statistics ]============================== 181.74/181.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.86 c =============================================================================== 181.74/181.86 c | 0 | 3967 84215 115094 | 28071 0 nan | 0.000 % | 181.74/181.88 c =============================================================================== 181.94/182.00 c core #9 181.94/182.00 c ============================[ Search Statistics ]============================== 181.94/182.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.00 c =============================================================================== 181.94/182.00 c | 0 | 4208 84274 115440 | 28091 0 nan | 0.000 % | 181.94/182.03 c =============================================================================== 182.04/182.16 c core #10 182.04/182.16 c ============================[ Search Statistics ]============================== 182.04/182.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.16 c =============================================================================== 182.04/182.16 c | 0 | 4448 84332 115787 | 28110 0 nan | 0.000 % | 182.14/182.20 c =============================================================================== 182.24/182.32 c core #11 182.24/182.32 c ============================[ Search Statistics ]============================== 182.24/182.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.24/182.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.24/182.32 c =============================================================================== 182.24/182.32 c | 0 | 4687 84390 116134 | 28130 0 nan | 0.000 % | 182.24/182.35 c =============================================================================== 182.34/182.48 c core #12 182.34/182.48 c ============================[ Search Statistics ]============================== 182.34/182.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.48 c =============================================================================== 182.34/182.48 c | 0 | 4925 84447 116478 | 28149 0 nan | 0.000 % | 182.44/182.52 c | 103 | 4925 84447 116478 | 30963 103 16 | 92.502 % | 182.44/182.54 c =============================================================================== 182.54/182.67 c core #13 182.54/182.67 c ============================[ Search Statistics ]============================== 182.54/182.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.54/182.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.54/182.67 c =============================================================================== 182.54/182.67 c | 0 | 5162 84503 116820 | 28167 0 nan | 0.000 % | 182.63/182.72 c | 100 | 5162 84503 116820 | 30984 100 18 | 90.723 % | 182.63/182.75 c =============================================================================== 182.73/182.88 c core #14 182.73/182.88 c ============================[ Search Statistics ]============================== 182.73/182.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.73/182.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.73/182.88 c =============================================================================== 182.73/182.88 c | 0 | 5398 84558 117166 | 28186 0 nan | 0.000 % | 182.83/182.93 c | 101 | 5398 84558 117166 | 31004 101 17 | 90.297 % | 182.83/182.98 c | 251 | 5232 84558 117166 | 34105 182 17 | 90.595 % | 182.93/183.03 c =============================================================================== 183.03/183.15 c core #15 183.03/183.15 c ============================[ Search Statistics ]============================== 183.03/183.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.15 c =============================================================================== 183.03/183.15 c | 0 | 5633 84613 117510 | 28204 0 nan | 0.000 % | 183.13/183.20 c | 100 | 5633 84613 117510 | 31024 100 20 | 89.895 % | 183.13/183.27 c | 250 | 5613 84613 117510 | 34127 245 21 | 89.920 % | 183.23/183.36 c | 475 | 5613 84613 117510 | 37539 470 21 | 89.920 % | 183.33/183.43 c =============================================================================== 183.43/183.56 c core #16 183.43/183.56 c ============================[ Search Statistics ]============================== 183.43/183.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.56 c =============================================================================== 183.43/183.56 c | 0 | 5867 84666 117851 | 28222 0 nan | 0.000 % | 183.43/183.60 c | 100 | 5867 84666 117851 | 31044 100 17 | 89.474 % | 183.55/183.67 c | 250 | 5867 84666 117851 | 34148 250 19 | 89.474 % | 183.65/183.76 c | 475 | 5867 84666 117851 | 37563 475 19 | 89.474 % | 183.84/183.90 c | 812 | 5646 84666 117851 | 41319 537 20 | 89.870 % | 183.84/183.95 c =============================================================================== 183.94/184.08 c core #17 183.94/184.08 c ============================[ Search Statistics ]============================== 183.94/184.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.94/184.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.94/184.08 c =============================================================================== 183.94/184.08 c | 0 | 6100 84718 118194 | 28239 0 nan | 0.000 % | 184.04/184.12 c | 102 | 6100 84718 118194 | 31063 102 15 | 89.066 % | 184.04/184.18 c | 254 | 6100 84718 118194 | 34169 254 17 | 89.075 % | 184.14/184.28 c | 480 | 6095 84718 118194 | 37586 479 20 | 89.075 % | 184.34/184.45 c | 819 | 6095 84718 118194 | 41345 818 23 | 89.075 % | 184.54/184.68 c | 1325 | 5786 84718 118194 | 45479 830 22 | 89.628 % | 184.64/184.72 c =============================================================================== 184.74/184.85 c core #18 184.74/184.85 c ============================[ Search Statistics ]============================== 184.74/184.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.85 c =============================================================================== 184.74/184.85 c | 0 | 6332 84773 118550 | 28257 0 nan | 0.000 % | 184.74/184.89 c | 100 | 6332 84773 118550 | 31083 100 18 | 88.660 % | 184.83/184.97 c | 252 | 6332 84773 118550 | 34191 252 24 | 88.660 % | 184.93/185.06 c | 477 | 6320 84773 118550 | 37610 475 22 | 88.681 % | 185.13/185.20 c | 816 | 6320 84773 118550 | 41372 814 22 | 88.681 % | 185.33/185.42 c | 1322 | 6320 84773 118550 | 45509 1320 21 | 88.681 % | 185.64/185.77 c | 2081 | 6298 84773 118550 | 50060 1841 23 | 88.721 % | 185.93/186.09 c =============================================================================== 186.13/186.22 c core #19 186.13/186.22 c ============================[ Search Statistics ]============================== 186.13/186.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.22 c =============================================================================== 186.13/186.22 c | 0 | 6563 84827 118907 | 28275 0 nan | 0.000 % | 186.13/186.26 c | 101 | 6563 84827 118907 | 31103 101 15 | 88.256 % | 186.23/186.32 c | 251 | 6563 84827 118907 | 34213 251 19 | 88.256 % | 186.33/186.43 c | 476 | 6563 84827 118907 | 37634 476 22 | 88.256 % | 186.53/186.60 c | 813 | 6563 84827 118907 | 41398 813 23 | 88.256 % | 186.73/186.84 c | 1321 | 6563 84827 118907 | 45538 1321 23 | 88.256 % | 187.04/187.17 c | 2080 | 6563 84827 118907 | 50092 2080 24 | 88.256 % | 187.64/187.73 c | 3219 | 6448 84827 118907 | 55101 2221 26 | 88.462 % | 187.95/188.09 c =============================================================================== 188.14/188.22 c core #20 188.14/188.22 c ============================[ Search Statistics ]============================== 188.14/188.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.14/188.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.14/188.22 c =============================================================================== 188.14/188.22 c | 0 | 6793 84878 119257 | 28292 0 nan | 0.000 % | 188.14/188.27 c | 101 | 6793 84878 119257 | 31121 101 17 | 87.855 % | 188.24/188.34 c | 253 | 6793 84878 119257 | 34234 253 19 | 87.855 % | 188.34/188.45 c | 478 | 6793 84878 119257 | 37657 478 21 | 87.855 % | 188.43/188.59 c | 815 | 6793 84878 119257 | 41423 815 24 | 87.855 % | 188.73/188.81 c | 1321 | 6793 84878 119257 | 45565 1321 24 | 87.855 % | 189.04/189.20 c | 2083 | 6793 84878 119257 | 50122 2083 26 | 87.855 % | 189.74/189.80 c | 3224 | 6793 84878 119257 | 55134 3224 28 | 87.855 % | 190.63/190.70 c | 4932 | 6701 84878 119257 | 60647 3946 28 | 88.020 % | 191.63/191.71 c =============================================================================== 191.73/191.84 c core #21 191.73/191.84 c ============================[ Search Statistics ]============================== 191.73/191.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.73/191.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.73/191.84 c =============================================================================== 191.73/191.84 c | 0 | 7022 84943 119646 | 28314 0 nan | 0.000 % | 191.73/191.90 c | 100 | 7021 84943 119646 | 31145 100 24 | 87.503 % | 191.84/191.95 c | 250 | 7021 84943 119646 | 34260 250 23 | 87.503 % | 191.94/192.04 c | 475 | 6996 84943 119646 | 37686 474 25 | 87.503 % | 192.14/192.21 c | 813 | 6996 84943 119646 | 41455 812 24 | 87.503 % | 192.34/192.41 c | 1319 | 6996 84943 119646 | 45600 1318 23 | 87.503 % | 192.64/192.79 c | 2078 | 6996 84943 119646 | 50160 2077 24 | 87.503 % | 193.33/193.42 c | 3219 | 6994 84943 119646 | 55176 3216 27 | 87.506 % | 194.23/194.32 c | 4928 | 6994 84943 119646 | 60694 4925 28 | 87.506 % | 195.84/195.90 c | 7490 | 6994 84943 119646 | 66763 7487 32 | 87.506 % | 198.23/198.36 c | 11334 | 6798 84943 119646 | 73440 7112 31 | 87.857 % | 200.23/200.37 c =============================================================================== 200.43/200.50 c core #22 200.43/200.50 c ============================[ Search Statistics ]============================== 200.43/200.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.43/200.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.43/200.50 c =============================================================================== 200.43/200.50 c | 0 | 7250 85013 120053 | 28337 0 nan | 0.000 % | 200.43/200.55 c | 100 | 7250 85013 120053 | 31171 100 17 | 87.060 % | 200.53/200.62 c | 250 | 7250 85013 120053 | 34288 250 23 | 87.060 % | 200.63/200.72 c | 475 | 7250 85013 120053 | 37717 475 24 | 87.060 % | 200.73/200.87 c | 812 | 7250 85013 120053 | 41489 812 23 | 87.060 % | 201.03/201.10 c | 1319 | 7250 85013 120053 | 45638 1319 24 | 87.060 % | 201.33/201.46 c | 2078 | 7247 85013 120053 | 50201 2076 26 | 87.065 % | 201.83/201.95 c | 3218 | 7247 85013 120053 | 55222 3216 27 | 87.065 % | 202.73/202.86 c | 4926 | 7247 85013 120053 | 60744 4924 29 | 87.065 % | 204.23/204.38 c | 7489 | 7247 85013 120053 | 66818 7487 31 | 87.065 % | 206.83/206.91 c | 11333 | 7247 85013 120053 | 73500 11331 32 | 87.065 % | 211.32/211.47 c | 17099 | 7210 85013 120053 | 80850 17087 36 | 87.131 % | 214.13/214.23 c =============================================================================== 214.23/214.35 c core #23 214.23/214.35 c ============================[ Search Statistics ]============================== 214.23/214.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.23/214.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.23/214.35 c =============================================================================== 214.23/214.35 c | 0 | 7477 85065 120408 | 28355 0 nan | 0.000 % | 214.34/214.40 c | 100 | 7477 85065 120408 | 31190 100 18 | 86.665 % | 214.34/214.46 c | 250 | 7477 85065 120408 | 34309 250 21 | 86.665 % | 214.44/214.58 c | 476 | 7477 85065 120408 | 37740 476 24 | 86.665 % | 214.63/214.72 c | 814 | 7477 85065 120408 | 41514 814 26 | 86.665 % | 214.83/214.92 c | 1322 | 7477 85065 120408 | 45666 1322 24 | 86.665 % | 215.13/215.28 c | 2081 | 7477 85065 120408 | 50232 2081 27 | 86.665 % | 215.72/215.83 c | 3221 | 7477 85065 120408 | 55255 3221 28 | 86.665 % | 216.54/216.67 c | 4931 | 7477 85065 120408 | 60781 4931 29 | 86.665 % | 218.03/218.15 c | 7493 | 7477 85065 120408 | 66859 7493 31 | 86.665 % | 220.33/220.47 c | 11337 | 7477 85065 120408 | 73545 11337 31 | 86.665 % | 224.92/225.00 c | 17103 | 7459 85065 120408 | 80900 16974 36 | 86.697 % | 232.62/232.74 c | 25754 | 7343 85065 120408 | 88990 24469 39 | 86.904 % | 240.62/240.78 c =============================================================================== 240.83/240.92 c core #24 240.83/240.92 c ============================[ Search Statistics ]============================== 240.83/240.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.83/240.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.83/240.92 c =============================================================================== 240.83/240.92 c | 0 | 7703 85128 120799 | 28376 0 nan | 0.000 % | 240.83/240.97 c | 100 | 7703 85128 120799 | 31213 100 16 | 86.273 % | 240.92/241.05 c | 251 | 7703 85128 120799 | 34334 251 22 | 86.273 % | 241.02/241.12 c | 477 | 7703 85128 120799 | 37768 477 20 | 86.273 % | 241.12/241.27 c | 818 | 7703 85128 120799 | 41545 818 24 | 86.273 % | 241.42/241.56 c | 1324 | 7703 85128 120799 | 45699 1324 30 | 86.273 % | 241.82/241.92 c | 2084 | 7703 85128 120799 | 50269 2084 29 | 86.273 % | 242.32/242.46 c | 3223 | 7703 85128 120799 | 55296 3223 30 | 86.273 % | 243.22/243.38 c | 4932 | 7703 85128 120799 | 60826 4932 30 | 86.273 % | 244.81/244.91 c | 7496 | 7698 85128 120799 | 66909 7495 30 | 86.282 % | 247.32/247.48 c | 11343 | 7698 85128 120799 | 73600 11342 32 | 86.282 % | 251.82/251.96 c | 17110 | 7686 85128 120799 | 80960 17107 37 | 86.303 % | 259.81/259.96 c | 25759 | 7684 85128 120799 | 89056 25753 38 | 86.307 % | 274.81/274.97 c | 38733 | 7684 85128 120799 | 97961 38727 40 | 86.307 % | 297.50/297.67 c =============================================================================== 297.70/297.83 c core #25 297.70/297.83 c ============================[ Search Statistics ]============================== 297.70/297.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 297.70/297.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 297.70/297.83 c =============================================================================== 297.70/297.83 c | 0 | 7928 85202 121217 | 28400 0 nan | 0.000 % | 297.70/297.88 c | 101 | 7928 85202 121217 | 31240 101 17 | 85.883 % | 297.80/297.96 c | 252 | 7928 85202 121217 | 34364 252 25 | 85.890 % | 297.91/298.05 c | 477 | 7924 85202 121217 | 37801 476 25 | 85.890 % | 298.00/298.20 c | 815 | 7924 85202 121217 | 41581 814 25 | 85.890 % | 298.30/298.44 c | 1321 | 7924 85202 121217 | 45739 1320 29 | 85.890 % | 298.70/298.81 c | 2084 | 7924 85202 121217 | 50313 2083 28 | 85.890 % | 299.30/299.40 c | 3224 | 7924 85202 121217 | 55344 3223 31 | 85.890 % | 300.11/300.30 c | 4932 | 7924 85202 121217 | 60879 4931 30 | 85.890 % | 301.50/301.68 c | 7494 | 7924 85202 121217 | 66967 7493 31 | 85.890 % | 303.60/303.78 c | 11338 | 7924 85202 121217 | 73664 11337 32 | 85.890 % | 307.70/307.85 c | 17105 | 7924 85202 121217 | 81030 17104 35 | 85.890 % | 314.40/314.59 c | 25754 | 7924 85202 121217 | 89133 25753 35 | 85.890 % | 329.19/329.36 c | 38728 | 7924 85202 121217 | 98046 38727 40 | 85.890 % | 358.18/358.35 c | 58189 | 7837 85202 121217 | 107851 52680 42 | 86.045 % | 403.97/404.15 c | 87382 | 7161 85202 121217 | 118636 28255 29 | 87.249 % | 408.06/408.28 c =============================================================================== 408.26/408.47 c core #26 408.26/408.47 c ============================[ Search Statistics ]============================== 408.26/408.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 408.26/408.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 408.26/408.47 c =============================================================================== 408.26/408.47 c | 0 | 8152 85259 121589 | 28419 0 nan | 0.000 % | 408.36/408.53 c | 101 | 8152 85259 121589 | 31261 101 17 | 85.495 % | 408.36/408.59 c | 251 | 8152 85259 121589 | 34387 251 22 | 85.495 % | 408.46/408.69 c | 478 | 8152 85259 121589 | 37826 478 24 | 85.495 % | 408.67/408.85 c | 816 | 8152 85259 121589 | 41609 816 27 | 85.495 % | 408.87/409.04 c | 1324 | 8152 85259 121589 | 45770 1324 28 | 85.495 % | 409.17/409.36 c | 2083 | 8152 85259 121589 | 50347 2083 27 | 85.495 % | 409.86/410.01 c | 3222 | 8152 85259 121589 | 55381 3222 31 | 85.495 % | 410.87/411.07 c | 4931 | 8152 85259 121589 | 60920 4931 31 | 85.495 % | 412.27/412.50 c | 7493 | 8152 85259 121589 | 67012 7493 32 | 85.495 % | 414.86/415.09 c | 11338 | 8150 85259 121589 | 73713 11336 35 | 85.498 % | 419.36/419.59 c | 17104 | 8150 85259 121589 | 81084 17102 36 | 85.498 % | 426.56/426.78 c | 25755 | 8138 85259 121589 | 89193 25752 40 | 85.520 % | 440.66/440.83 c | 38729 | 8138 85259 121589 | 98112 38726 39 | 85.520 % | 467.94/468.13 c | 58191 | 8138 85259 121589 | 107923 58188 41 | 85.520 % | 521.43/521.64 c | 87383 | 7900 85259 121589 | 118716 74504 42 | 85.943 % | 616.20/616.50 c | 131173 | 7896 85259 121589 | 130587 118292 47 | 85.950 % | 669.77/670.00 c =============================================================================== 669.97/670.26 c core #27 669.97/670.26 c ============================[ Search Statistics ]============================== 669.97/670.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 669.97/670.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 669.97/670.26 c =============================================================================== 669.97/670.26 c | 0 | 8375 85313 121954 | 28437 0 nan | 0.000 % | 670.08/670.31 c | 101 | 8375 85313 121954 | 31281 101 15 | 85.109 % | 670.08/670.38 c | 251 | 8375 85313 121954 | 34409 251 19 | 85.109 % | 670.28/670.51 c | 476 | 8375 85313 121954 | 37850 476 25 | 85.109 % | 670.38/670.68 c | 813 | 8375 85313 121954 | 41635 813 28 | 85.109 % | 670.58/670.89 c | 1320 | 8375 85313 121954 | 45799 1320 27 | 85.109 % | 670.98/671.27 c | 2081 | 8375 85313 121954 | 50379 2081 30 | 85.109 % | 671.47/671.78 c | 3220 | 8375 85313 121954 | 55416 3220 31 | 85.109 % | 672.38/672.63 c | 4928 | 8375 85313 121954 | 60958 4928 32 | 85.109 % | 674.09/674.33 c | 7490 | 8375 85313 121954 | 67054 7490 34 | 85.109 % | 676.28/676.56 c | 11334 | 8375 85313 121954 | 73759 11334 34 | 85.109 % | 680.68/680.92 c | 17100 | 8375 85313 121954 | 81135 17100 34 | 85.109 % | 688.07/688.32 c | 25749 | 8375 85313 121954 | 89249 25749 36 | 85.109 % | 701.87/702.13 c | 38724 | 8375 85313 121954 | 98174 38724 39 | 85.109 % | 727.87/728.15 c | 58186 | 8375 85313 121954 | 107991 58186 40 | 85.109 % | 782.14/782.49 c | 87379 | 8352 85313 121954 | 118791 87368 42 | 85.150 % | 885.31/885.65 c | 131168 | 8340 85313 121954 | 130670 131156 45 | 85.171 % | 1070.55/1070.90 c | 196852 | 8197 85313 121954 | 143737 137028 45 | 85.425 % | 1259.39/1259.82 c =============================================================================== 1259.69/1260.17 c core #28 1259.69/1260.17 c ============================[ Search Statistics ]============================== 1259.69/1260.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1259.69/1260.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1259.69/1260.17 c =============================================================================== 1259.69/1260.17 c | 0 | 8597 85428 122502 | 28476 0 nan | 0.000 % | 1259.79/1260.23 c | 101 | 8597 85428 122502 | 31323 101 17 | 84.725 % | 1259.89/1260.33 c | 251 | 8597 85428 122502 | 34455 251 23 | 84.725 % | 1259.99/1260.41 c | 476 | 8597 85428 122502 | 37901 476 23 | 84.725 % | 1260.09/1260.55 c | 813 | 8597 85428 122502 | 41691 813 25 | 84.725 % | 1260.29/1260.73 c | 1321 | 8597 85428 122502 | 45860 1321 24 | 84.725 % | 1260.68/1261.10 c | 2080 | 8597 85428 122502 | 50446 2080 28 | 84.725 % | 1261.19/1261.68 c | 3220 | 8597 85428 122502 | 55491 3220 31 | 84.725 % | 1262.29/1262.76 c | 4928 | 8597 85428 122502 | 61040 4928 33 | 84.725 % | 1263.88/1264.35 c | 7490 | 8597 85428 122502 | 67144 7490 34 | 84.725 % | 1266.08/1266.56 c | 11334 | 8597 85428 122502 | 73859 11334 36 | 84.725 % | 1270.18/1270.67 c | 17102 | 8597 85428 122502 | 81245 17102 37 | 84.725 % | 1277.98/1278.48 c | 25751 | 8597 85428 122502 | 89369 25751 39 | 84.725 % | 1290.58/1291.08 c | 38727 | 8597 85428 122502 | 98306 38727 42 | 84.725 % | 1318.67/1319.16 c | 58188 | 8575 85428 122502 | 108137 58187 42 | 84.764 % | 1370.56/1371.01 c | 87380 | 8575 85428 122502 | 118951 87379 41 | 84.764 % | 1475.32/1475.87 c | 131169 | 8575 85428 122502 | 130846 131168 43 | 84.764 % | 1663.07/1663.64 c | 196853 | 8563 85428 122502 | 143931 37352 45 | 84.786 % |
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-2687412-1278453119/watcher-2687412-1278453119 -o /tmp/evaluation-result-2687412-1278453119/solver-2687412-1278453119 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687412-1278453119.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.00 1.00 1.00 3/106 23223 /proc/meminfo: memFree=1822000/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=8820 CPUtime=0 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 374 0 0 0 0 0 0 0 19 0 1 0 13518133 9031680 293 1992294400 134512640 135751879 4290579616 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 2205 293 144 303 0 445 0 [startup+0.0241519 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23223 /proc/meminfo: memFree=1822000/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=9556 CPUtime=0.02 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 591 0 0 0 2 0 0 0 22 0 1 0 13518133 9785344 510 1992294400 134512640 135751879 4290579616 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 2389 511 169 303 0 629 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9556 [startup+0.10116 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23223 /proc/meminfo: memFree=1822000/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=13584 CPUtime=0.09 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 1627 0 0 0 9 0 0 0 22 0 1 0 13518133 13910016 1546 1992294400 134512640 135751879 4290579616 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 3396 1546 288 303 0 1636 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13584 [startup+0.301183 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23223 /proc/meminfo: memFree=1822000/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=16492 CPUtime=0.3 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 2603 0 0 0 29 1 0 0 22 0 1 0 13518133 16887808 2522 1992294400 134512640 135751879 4290579616 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 4123 2522 590 303 0 2363 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 16492 [startup+0.701226 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23223 /proc/meminfo: memFree=1822000/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=24276 CPUtime=0.69 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 4915 0 0 0 67 2 0 0 23 0 1 0 13518133 24858624 4761 1992294400 134512640 135751879 4290579616 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 6069 4761 1227 303 0 4309 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24276 [startup+1.50131 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23224 /proc/meminfo: memFree=1804136/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=42844 CPUtime=1.49 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 11659 0 0 0 144 5 0 0 25 0 1 0 13518133 43872256 9807 1992294400 134512640 135751879 4290579616 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 10711 9807 146 303 0 10406 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42844 [startup+3.10149 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23224 /proc/meminfo: memFree=1782312/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=45484 CPUtime=3.09 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 12309 0 0 0 304 5 0 0 25 0 1 0 13518133 46575616 10457 1992294400 134512640 135751879 4290579616 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 11371 10457 146 303 0 11066 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45484 [startup+6.30085 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23224 /proc/meminfo: memFree=1775120/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=52480 CPUtime=6.29 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 14067 0 0 0 623 6 0 0 25 0 1 0 13518133 53739520 12215 1992294400 134512640 135751879 4290579616 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 13120 12215 146 303 0 12815 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52480 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23224 /proc/meminfo: memFree=1764704/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=62116 CPUtime=12.69 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 16463 0 0 0 1262 7 0 0 25 0 1 0 13518133 63606784 14611 1992294400 134512640 135751879 4290579616 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 15529 14611 146 303 0 15224 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 62116 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23224 /proc/meminfo: memFree=1752676/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=73468 CPUtime=25.49 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 19320 0 0 0 2541 8 0 0 25 0 1 0 13518133 75231232 17468 1992294400 134512640 135751879 4290579616 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 18367 17468 146 303 0 18062 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 73468 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23226 /proc/meminfo: memFree=1735688/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=90052 CPUtime=51.07 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 23452 0 0 0 5098 9 0 0 25 0 1 0 13518133 92213248 21600 1992294400 134512640 135751879 4290579616 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 22513 21600 146 303 0 22208 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 90052 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23226 /proc/meminfo: memFree=1720188/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=104384 CPUtime=102.27 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 28135 0 0 0 10208 19 0 0 25 0 1 0 13518133 106889216 25299 1992294400 134512640 135751879 4290579616 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 26096 25299 147 303 0 25791 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 104384 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23228 /proc/meminfo: memFree=1720188/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=104384 CPUtime=162.25 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 28135 0 0 0 16177 48 0 0 25 0 1 0 13518133 106889216 25299 1992294400 134512640 135751879 4290579616 18446744073709551615 134604644 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 26096 25299 147 303 0 25791 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 104384 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23230 /proc/meminfo: memFree=1726016/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=97404 CPUtime=222.22 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 28462 0 0 0 22148 74 0 0 25 0 1 0 13518133 99741696 23835 1992294400 134512640 135751879 4290579616 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 24351 23835 151 303 0 24046 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 97404 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23232 /proc/meminfo: memFree=1725892/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=97404 CPUtime=282.21 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 28462 0 0 0 28124 97 0 0 25 0 1 0 13518133 99741696 23835 1992294400 134512640 135751879 4290579616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 24351 23835 151 303 0 24046 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 97404 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23234 /proc/meminfo: memFree=1725892/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=97404 CPUtime=342.19 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 28462 0 0 0 34098 121 0 0 25 0 1 0 13518133 99741696 23835 1992294400 134512640 135751879 4290579616 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 24351 23835 151 303 0 24046 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 97404 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23234 /proc/meminfo: memFree=1725768/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=97404 CPUtime=402.17 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 28462 0 0 0 40080 137 0 0 25 0 1 0 13518133 99741696 23835 1992294400 134512640 135751879 4290579616 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 24351 23835 151 303 0 24046 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 97404 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23236 /proc/meminfo: memFree=1725768/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=97404 CPUtime=462.15 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 28462 0 0 0 46055 160 0 0 25 0 1 0 13518133 99741696 23835 1992294400 134512640 135751879 4290579616 18446744073709551615 134641961 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 24351 23835 151 303 0 24046 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 97404 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23238 /proc/meminfo: memFree=1725768/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=97404 CPUtime=522.13 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 28462 0 0 0 52036 177 0 0 25 0 1 0 13518133 99741696 23835 1992294400 134512640 135751879 4290579616 18446744073709551615 134607732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 24351 23835 151 303 0 24046 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 97404 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23249 /proc/meminfo: memFree=1725644/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=97404 CPUtime=582.11 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 28462 0 0 0 58021 190 0 0 25 0 1 0 13518133 99741696 23835 1992294400 134512640 135751879 4290579616 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 24351 23835 151 303 0 24046 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 97404 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23251 /proc/meminfo: memFree=1724156/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=99124 CPUtime=642.09 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 28861 0 0 0 64007 202 0 0 25 0 1 0 13518133 101502976 24234 1992294400 134512640 135751879 4290579616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 24781 24234 151 303 0 24476 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 99124 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23255 /proc/meminfo: memFree=1708160/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=116080 CPUtime=822.03 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 32885 0 0 0 81945 258 0 0 25 0 1 0 13518133 118865920 28258 1992294400 134512640 135751879 4290579616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 29020 28258 151 303 0 28715 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 116080 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23257 /proc/meminfo: memFree=1701712/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=122324 CPUtime=882.01 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 34477 0 0 0 87928 273 0 0 25 0 1 0 13518133 125259776 29850 1992294400 134512640 135751879 4290579616 18446744073709551615 134616459 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 30581 29850 151 303 0 30276 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 122324 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23259 /proc/meminfo: memFree=1696752/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=127520 CPUtime=941.99 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 35724 0 0 0 93913 286 0 0 25 0 1 0 13518133 130580480 31097 1992294400 134512640 135751879 4290579616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 31880 31097 151 303 0 31575 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 127520 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23259 /proc/meminfo: memFree=1690676/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=133592 CPUtime=1001.97 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 37249 0 0 0 99896 301 0 0 25 0 1 0 13518133 136798208 32622 1992294400 134512640 135751879 4290579616 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 33398 32622 151 303 0 33093 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 133592 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23261 /proc/meminfo: memFree=1684352/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=139968 CPUtime=1061.95 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 38837 0 0 0 105881 314 0 0 25 0 1 0 13518133 143327232 34210 1992294400 134512640 135751879 4290579616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 34992 34210 151 303 0 34687 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 139968 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23263 /proc/meminfo: memFree=1678276/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=146196 CPUtime=1121.93 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 40384 0 0 0 111864 329 0 0 25 0 1 0 13518133 149704704 35757 1992294400 134512640 135751879 4290579616 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 36549 35757 151 303 0 36244 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 146196 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23265 /proc/meminfo: memFree=1673068/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=151348 CPUtime=1181.91 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 41690 0 0 0 117852 339 0 0 25 0 1 0 13518133 154980352 37063 1992294400 134512640 135751879 4290579616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 37837 37063 151 303 0 37532 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 151348 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23267 /proc/meminfo: memFree=1667116/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=157108 CPUtime=1241.89 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 43129 0 0 0 123837 352 0 0 25 0 1 0 13518133 160878592 38502 1992294400 134512640 135751879 4290579616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 39277 38502 151 303 0 38972 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 157108 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23267 /proc/meminfo: memFree=1657196/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=166084 CPUtime=1301.88 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 46243 0 0 0 129812 376 0 0 25 0 1 0 13518133 170070016 40793 1992294400 134512640 135751879 4290579616 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 41521 40793 151 303 0 41216 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 166084 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23269 /proc/meminfo: memFree=1655832/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=168084 CPUtime=1361.86 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 46759 0 0 0 135790 396 0 0 25 0 1 0 13518133 172118016 41309 1992294400 134512640 135751879 4290579616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 42021 41309 151 303 0 41716 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 168084 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23271 /proc/meminfo: memFree=1649508/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=174324 CPUtime=1421.85 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 48307 0 0 0 141771 414 0 0 25 0 1 0 13518133 178507776 42857 1992294400 134512640 135751879 4290579616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 43581 42857 151 303 0 43276 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 174324 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23273 /proc/meminfo: memFree=1644052/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=179740 CPUtime=1481.82 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 49688 0 0 0 147753 429 0 0 25 0 1 0 13518133 184053760 44238 1992294400 134512640 135751879 4290579616 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 44935 44238 151 303 0 44630 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 179740 [startup+1542.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 23275 /proc/meminfo: memFree=1638844/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=185152 CPUtime=1541.8 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 50969 0 0 0 153737 443 0 0 25 0 1 0 13518133 189595648 45519 1992294400 134512640 135751879 4290579616 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 46288 45519 151 303 0 45983 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 185152 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 23275 /proc/meminfo: memFree=1634628/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=189332 CPUtime=1601.78 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 52030 0 0 0 159724 454 0 0 25 0 1 0 13518133 193875968 46580 1992294400 134512640 135751879 4290579616 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 47333 46580 151 303 0 47028 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 189332 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 23277 /proc/meminfo: memFree=1628552/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=195536 CPUtime=1661.77 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 53577 0 0 0 165706 471 0 0 25 0 1 0 13518133 200228864 48127 1992294400 134512640 135751879 4290579616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 48884 48127 151 303 0 48579 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 195536 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23282 /proc/meminfo: memFree=1618076/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=205440 CPUtime=1721.74 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 56060 0 0 0 171681 493 0 0 25 0 1 0 13518133 210370560 50610 1992294400 134512640 135751879 4290579616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 51360 50610 151 303 0 51055 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 205440 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23284 /proc/meminfo: memFree=1611380/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=212084 CPUtime=1781.72 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 57713 0 0 0 177662 510 0 0 25 0 1 0 13518133 217174016 52263 1992294400 134512640 135751879 4290579616 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 53021 52263 151 303 0 52716 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 212084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23284 /proc/meminfo: memFree=1609148/2059040 swapFree=4192956/4192956 [pid=23223] ppid=23221 vsize=214328 CPUtime=1800.03 /proc/23223/stat : 23223 (wbo1.4b) R 23221 23223 22841 0 -1 4202496 58268 0 0 0 179488 515 0 0 25 0 1 0 13518133 219471872 52818 1992294400 134512640 135751879 4290579616 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23223/statm: 53582 52818 151 303 0 53277 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 214328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.64 CPU time (s): 1800.06 CPU user time (s): 1794.88 CPU system time (s): 5.18121 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 214328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.88 system time used= 5.18121 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58268 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= 74 involuntary context switches= 6700 runsolver used 3.05154 second user time and 8.46271 second system time The end
Begin job on node059 at 2010-07-06 23:52:00 IDJOB=2687412 IDBENCH=77818 IDSOLVER=1161 FILE ID=node059/2687412-1278453119 PBS_JOBID= 11233533 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9025_7.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687412-1278453119/watcher-2687412-1278453119 -o /tmp/evaluation-result-2687412-1278453119/solver-2687412-1278453119 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687412-1278453119.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 898f9481d81532bb854887af2399230f RANDOM SEED=131321278 node059.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.255 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.51 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.255 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1822776 kB Buffers: 7580 kB Cached: 100168 kB SwapCached: 0 kB Active: 66260 kB Inactive: 101848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1822776 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 8568 kB Writeback: 0 kB AnonPages: 60300 kB Mapped: 14484 kB Slab: 46296 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182828 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687412-1278453119.opb Free space on /tmp at the end= 62536 MiB End job on node059 at 2010-07-07 00:22:03