Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.23 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_4.opb |
MD5SUM | f7dd1b6b0a4946caf4c26a82905ed8fe |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -27 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -34 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12520 |
Sum of products size (including duplicates) | 25040 |
Number of different products | 6260 |
Sum of products size | 12520 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702695-1278574710.opb. 0.00/0.00 c Instance file HOME/instance-2702695-1278574710.opb 0.00/0.00 c File size is 535263 bytes. 0.09/0.10 c Highest Coefficient sum: 400 0.09/0.10 c ============================[ Problem Statistics ]============================= 0.09/0.10 c | | 0.09/0.10 c | Parsing time: 0.10 s | 0.09/0.10 c | Number Variables: 6660 | 0.09/0.10 c | Number Clauses: 6460 | 0.09/0.10 c | Number Cardinality: 402 | 0.09/0.10 c | Number PB Constraints: 6260 | 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 6660 13122 51280 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 0 0.19/0.20 o 0 0.19/0.20 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 6660 13123 51480 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: -1 0.19/0.21 o -1 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 1 | 6660 13124 51680 | 5000 1 201 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -2 0.19/0.22 o -2 0.19/0.22 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1 | 6660 13125 51880 | 5000 1 201 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -3 0.19/0.23 o -3 0.19/0.23 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 6 | 6660 13126 52080 | 5000 6 363 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -4 0.19/0.24 o -4 0.19/0.24 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 10 | 6660 13127 52280 | 5000 10 258 | 0.000 % | 0.49/0.54 c | 186 | 6660 13127 52280 | 5500 186 343 | 0.000 % | 0.69/0.74 c | 336 | 6660 13127 52280 | 6050 336 326 | 0.000 % | 0.89/0.95 c | 561 | 6660 13127 52280 | 6655 561 312 | 0.000 % | 1.19/1.24 c | 903 | 6660 13127 52280 | 7320 903 312 | 0.000 % | 1.29/1.39 c | 1409 | 6660 13127 52280 | 8052 1409 339 | 0.000 % | 1.49/1.59 c | 2169 | 6660 13127 52280 | 8857 2169 357 | 0.000 % | 1.89/1.97 c | 3309 | 6660 13127 52280 | 9743 3309 369 | 0.000 % | 1.99/2.01 c =============================================================================== 1.99/2.01 c New solution: -5 1.99/2.01 o -5 1.99/2.01 c Elapsed CPU time: 1.9877 s Remaining CPU time: 178.012 s 1.99/2.01 c =============================================================================== 1.99/2.01 c | 3349 | 6660 13128 52480 | 5000 3349 368 | 0.000 % | 1.99/2.07 c | 3449 | 6660 13128 52480 | 5500 3449 369 | 0.000 % | 2.10/2.12 c | 3599 | 6660 13128 52480 | 6050 3599 370 | 0.000 % | 2.10/2.19 c | 3826 | 6660 13128 52480 | 6655 3826 371 | 0.000 % | 2.20/2.27 c =============================================================================== 2.20/2.27 c New solution: -6 2.20/2.27 o -6 2.20/2.27 c Elapsed CPU time: 2.24866 s Remaining CPU time: 177.751 s 2.20/2.27 c =============================================================================== 2.20/2.27 c | 4018 | 6660 13129 52680 | 5000 4018 370 | 0.000 % | 2.29/2.32 c | 4119 | 6660 13129 52680 | 5500 4119 371 | 0.000 % | 2.39/2.42 c | 4270 | 6660 13129 52680 | 6050 4270 371 | 0.000 % | 2.49/2.51 c | 4495 | 6660 13129 52680 | 6655 4495 371 | 0.000 % | 2.59/2.63 c | 4833 | 6660 13129 52680 | 7320 4833 371 | 0.000 % | 2.79/2.84 c | 5340 | 6660 13129 52680 | 8052 5340 369 | 0.000 % | 3.09/3.18 c | 6100 | 6660 13129 52680 | 8857 6100 370 | 0.000 % | 3.69/3.70 c | 7240 | 6660 13129 52680 | 9743 7240 367 | 0.000 % | 4.59/4.61 c | 8949 | 6660 13129 52680 | 10717 8949 363 | 0.000 % | 6.19/6.20 c | 11515 | 6660 13129 52680 | 11789 11515 362 | 0.000 % | 6.60/6.61 c =============================================================================== 6.60/6.61 c New solution: -7 6.60/6.61 o -7 6.60/6.61 c Elapsed CPU time: 6.542 s Remaining CPU time: 173.458 s 6.60/6.61 c =============================================================================== 6.60/6.61 c | 12114 | 6660 13130 52880 | 5000 12114 361 | 0.000 % | 6.69/6.71 c | 12214 | 6660 13130 52880 | 5500 3129 353 | 0.000 % | 6.69/6.77 c | 12364 | 6660 13130 52880 | 6050 3279 354 | 0.000 % | 6.79/6.83 c =============================================================================== 6.79/6.83 c New solution: -8 6.79/6.83 o -8 6.79/6.83 c Elapsed CPU time: 6.76697 s Remaining CPU time: 173.233 s 6.79/6.83 c =============================================================================== 6.79/6.83 c | 12501 | 6660 13131 53080 | 5000 3416 354 | 0.000 % | 6.79/6.88 c | 12601 | 6660 13131 53080 | 5500 3516 355 | 0.000 % | 6.89/6.94 c | 12751 | 6660 13131 53080 | 6050 3666 356 | 0.000 % | 6.99/7.02 c | 12977 | 6660 13131 53080 | 6655 3892 358 | 0.000 % | 7.09/7.19 c | 13314 | 6660 13131 53080 | 7320 4229 361 | 0.000 % | 7.19/7.21 c =============================================================================== 7.19/7.21 c New solution: -9 7.19/7.21 o -9 7.19/7.21 c Elapsed CPU time: 7.13991 s Remaining CPU time: 172.86 s 7.19/7.21 c =============================================================================== 7.19/7.21 c | 13336 | 6660 13132 53280 | 5000 4251 359 | 0.000 % | 7.29/7.31 c | 13441 | 6660 13132 53280 | 5500 4356 360 | 0.000 % | 7.29/7.39 c | 13591 | 6660 13132 53280 | 6050 4506 361 | 0.000 % | 7.39/7.45 c | 13816 | 6660 13132 53280 | 6655 4731 362 | 0.000 % | 7.48/7.55 c | 14153 | 6660 13132 53280 | 7320 5068 364 | 0.000 % | 7.48/7.59 c =============================================================================== 7.48/7.59 c New solution: -10 7.48/7.59 o -10 7.48/7.59 c Elapsed CPU time: 7.50586 s Remaining CPU time: 172.494 s 7.48/7.59 c =============================================================================== 7.48/7.59 c | 14194 | 6660 13133 53480 | 5000 5109 362 | 0.000 % | 7.70/7.79 c | 14294 | 6660 13133 53480 | 5500 2655 365 | 0.000 % | 8.39/8.44 c | 14444 | 6660 13133 53480 | 6050 2805 361 | 0.000 % | 8.59/8.66 c | 14674 | 6660 13133 53480 | 6655 3035 359 | 0.000 % | 8.89/8.98 c | 15037 | 6660 13133 53480 | 7320 3398 361 | 0.000 % | 9.59/9.64 c | 15550 | 6660 13133 53480 | 8052 3911 362 | 0.000 % | 9.80/9.84 c | 16309 | 6660 13133 53480 | 8857 4670 366 | 0.000 % | 9.80/9.87 c =============================================================================== 9.80/9.87 c New solution: -11 9.80/9.87 o -11 9.80/9.87 c Elapsed CPU time: 9.77851 s Remaining CPU time: 170.221 s 9.80/9.87 c =============================================================================== 9.80/9.87 c | 16335 | 6660 13134 53680 | 5000 4696 364 | 0.000 % | 9.89/9.91 c | 16435 | 6660 13134 53680 | 5500 4796 364 | 0.000 % | 9.89/9.94 c | 16585 | 6660 13134 53680 | 6050 4946 364 | 0.000 % | 9.89/9.99 c | 16811 | 6660 13134 53680 | 6655 5172 364 | 0.000 % | 9.98/10.08 c | 17148 | 6660 13134 53680 | 7320 5509 365 | 0.000 % | 10.19/10.22 c | 17654 | 6660 13134 53680 | 8052 6015 367 | 0.000 % | 10.19/10.26 c =============================================================================== 10.19/10.26 c New solution: -12 10.19/10.26 o -12 10.19/10.26 c Elapsed CPU time: 10.1525 s Remaining CPU time: 169.848 s 10.19/10.26 c =============================================================================== 10.19/10.26 c | 17719 | 6660 13135 53880 | 5000 6080 364 | 0.000 % | 10.29/10.34 c | 17824 | 6660 13135 53880 | 5500 3145 367 | 0.000 % | 10.29/10.37 c | 17974 | 6660 13135 53880 | 6050 3295 367 | 0.000 % | 10.39/10.42 c | 18200 | 6660 13135 53880 | 6655 3521 368 | 0.000 % | 10.48/10.50 c | 18538 | 6660 13135 53880 | 7320 3859 369 | 0.000 % | 10.59/10.64 c | 19044 | 6660 13135 53880 | 8052 4365 370 | 0.000 % | 10.79/10.86 c | 19803 | 6660 13135 53880 | 8857 5124 372 | 0.000 % | 10.90/10.91 c =============================================================================== 10.90/10.91 c New solution: -13 10.90/10.91 o -13 10.90/10.91 c Elapsed CPU time: 10.7854 s Remaining CPU time: 169.215 s 10.90/10.91 c =============================================================================== 10.90/10.91 c | 19854 | 6660 13136 54080 | 5000 5175 369 | 0.000 % | 10.90/10.99 c | 19959 | 6660 13136 54080 | 5500 2693 371 | 0.000 % | 11.00/11.03 c | 20110 | 6660 13136 54080 | 6050 2844 371 | 0.000 % | 11.00/11.08 c | 20335 | 6660 13136 54080 | 6655 3069 372 | 0.000 % | 11.09/11.16 c | 20672 | 6660 13136 54080 | 7320 3406 372 | 0.000 % | 11.19/11.27 c | 21179 | 6660 13136 54080 | 8052 3913 373 | 0.000 % | 11.38/11.43 c | 21938 | 6660 13136 54080 | 8857 4672 374 | 0.000 % | 11.69/11.74 c | 23078 | 6660 13136 54080 | 9743 5812 375 | 0.000 % | 12.10/12.16 c | 24786 | 6660 13136 54080 | 10717 7520 372 | 0.000 % | 12.89/12.98 c | 27348 | 6660 13136 54080 | 11789 10082 373 | 0.000 % | 14.49/14.55 c | 31192 | 6660 13136 54080 | 12968 13926 374 | 0.000 % | 16.98/17.01 c | 36958 | 6660 13136 54080 | 14265 12729 378 | 0.000 % | 17.09/17.11 c =============================================================================== 17.09/17.11 c New solution: -14 17.09/17.11 o -14 17.09/17.11 c Elapsed CPU time: 16.9014 s Remaining CPU time: 163.099 s 17.09/17.11 c =============================================================================== 17.09/17.11 c | 37125 | 6660 13137 54280 | 5000 12896 375 | 0.000 % | 17.19/17.25 c | 37230 | 6660 13137 54280 | 5500 3329 366 | 0.000 % | 17.19/17.29 c | 37381 | 6660 13137 54280 | 6050 3480 367 | 0.000 % | 17.29/17.35 c | 37606 | 6660 13137 54280 | 6655 3705 367 | 0.000 % | 17.38/17.44 c | 37944 | 6660 13137 54280 | 7320 4043 367 | 0.000 % | 17.59/17.63 c | 38450 | 6660 13137 54280 | 8052 4549 369 | 0.000 % | 17.59/17.69 c =============================================================================== 17.59/17.69 c New solution: -15 17.59/17.69 o -15 17.59/17.69 c Elapsed CPU time: 17.4763 s Remaining CPU time: 162.524 s 17.59/17.69 c =============================================================================== 17.59/17.69 c | 38515 | 6660 13138 54480 | 5000 4614 365 | 0.000 % | 17.69/17.73 c | 38615 | 6660 13138 54480 | 5500 4714 366 | 0.000 % | 17.69/17.77 c | 38765 | 6660 13138 54480 | 6050 4864 366 | 0.000 % | 17.79/17.83 c | 38991 | 6660 13138 54480 | 6655 5090 366 | 0.000 % | 17.88/17.92 c | 39329 | 6660 13138 54480 | 7320 5428 367 | 0.000 % | 17.99/18.06 c | 39835 | 6660 13138 54480 | 8052 5934 367 | 0.000 % | 18.19/18.27 c | 40594 | 6660 13138 54480 | 8857 6693 368 | 0.000 % | 18.48/18.56 c | 41733 | 6660 13138 54480 | 9743 7832 370 | 0.000 % | 19.09/19.10 c | 43441 | 6660 13138 54480 | 10717 9540 371 | 0.000 % | 19.99/20.07 c | 46004 | 6660 13138 54480 | 11789 12103 372 | 0.000 % | 20.18/20.21 c =============================================================================== 20.18/20.21 c New solution: -16 20.18/20.21 o -16 20.18/20.21 c Elapsed CPU time: 19.945 s Remaining CPU time: 160.055 s 20.18/20.21 c =============================================================================== 20.18/20.21 c | 46278 | 6660 13139 54680 | 5000 6326 365 | 0.000 % | 20.68/20.71 c | 46430 | 6660 13139 54680 | 5500 3315 352 | 0.000 % | 20.80/20.82 c | 46583 | 6660 13139 54680 | 6050 3468 353 | 0.000 % | 20.80/20.88 c | 46808 | 6660 13139 54680 | 6655 3693 354 | 0.000 % | 20.99/21.04 c | 47146 | 6660 13139 54680 | 7320 4031 327 | 0.000 % | 22.38/22.47 c | 47677 | 6660 13139 54680 | 8052 4562 329 | 0.000 % | 22.59/22.65 c | 48436 | 6660 13139 54680 | 8857 5321 336 | 0.000 % | 22.88/22.95 c | 49575 | 6660 13139 54680 | 9743 6460 342 | 0.000 % | 23.38/23.42 c | 51283 | 6660 13139 54680 | 10717 8168 350 | 0.000 % | 24.20/24.23 c | 53845 | 6660 13139 54680 | 11789 10730 356 | 0.000 % | 25.49/25.58 c | 57690 | 6660 13139 54680 | 12968 14575 361 | 0.000 % | 27.88/27.98 c | 63456 | 6660 13139 54680 | 14265 13054 375 | 0.000 % | 32.38/32.44 c | 72107 | 6660 13139 54680 | 15692 11273 376 | 0.000 % | 32.48/32.57 c =============================================================================== 32.48/32.57 c New solution: -17 32.48/32.57 o -17 32.48/32.57 c Elapsed CPU time: 32.1721 s Remaining CPU time: 147.828 s 32.48/32.57 c =============================================================================== 32.48/32.57 c | 72309 | 6660 13140 54880 | 5000 11475 370 | 0.000 % | 32.58/32.64 c | 72409 | 6660 13140 54880 | 5500 2969 353 | 0.000 % | 32.58/32.67 c | 72559 | 6660 13140 54880 | 6050 3119 354 | 0.000 % | 32.69/32.73 c | 72784 | 6660 13140 54880 | 6655 3344 355 | 0.000 % | 32.79/32.81 c | 73121 | 6660 13140 54880 | 7320 3681 356 | 0.000 % | 32.89/32.91 c | 73627 | 6660 13140 54880 | 8052 4187 358 | 0.000 % | 33.08/33.10 c | 74386 | 6660 13140 54880 | 8857 4946 360 | 0.000 % | 33.18/33.23 c =============================================================================== 33.18/33.23 c New solution: -18 33.18/33.23 o -18 33.18/33.23 c Elapsed CPU time: 32.812 s Remaining CPU time: 147.188 s 33.18/33.23 c =============================================================================== 33.18/33.23 c | 74744 | 6660 13141 55080 | 5000 5304 341 | 0.000 % | 33.28/33.33 c | 74849 | 6660 13141 55080 | 5500 2757 325 | 0.000 % | 33.28/33.36 c | 74999 | 6660 13141 55080 | 6050 2907 328 | 0.000 % | 33.38/33.41 c | 75224 | 6660 13141 55080 | 6655 3132 331 | 0.000 % | 33.38/33.48 c | 75561 | 6660 13141 55080 | 7320 3469 335 | 0.000 % | 33.48/33.59 c | 76067 | 6660 13141 55080 | 8052 3975 339 | 0.000 % | 33.68/33.76 c | 76826 | 6660 13141 55080 | 8857 4734 345 | 0.000 % | 33.99/34.08 c | 77965 | 6660 13141 55080 | 9743 5873 350 | 0.000 % | 34.49/34.56 c | 79673 | 6660 13141 55080 | 10717 7581 354 | 0.000 % | 35.09/35.18 c =============================================================================== 35.09/35.18 c New solution: -19 35.09/35.18 o -19 35.09/35.18 c Elapsed CPU time: 34.7187 s Remaining CPU time: 145.281 s 35.09/35.18 c =============================================================================== 35.09/35.18 c | 81585 | 6660 13142 55280 | 5000 9493 297 | 0.000 % | 35.19/35.22 c | 81685 | 6660 13142 55280 | 5500 4847 248 | 0.000 % | 35.19/35.26 c | 81835 | 6660 13142 55280 | 6050 4997 252 | 0.000 % | 35.28/35.31 c | 82060 | 6660 13142 55280 | 6655 5222 256 | 0.000 % | 35.28/35.37 c | 82397 | 6660 13142 55280 | 7320 5559 262 | 0.000 % | 35.39/35.48 c | 82903 | 6660 13142 55280 | 8052 6065 271 | 0.000 % | 35.58/35.63 c | 83663 | 6660 13142 55280 | 8857 6825 281 | 0.000 % | 35.88/35.92 c | 84802 | 6660 13142 55280 | 9743 7964 294 | 0.000 % | 36.29/36.36 c | 86510 | 6660 13142 55280 | 10717 9672 304 | 0.000 % | 37.08/37.17 c | 89072 | 6660 13142 55280 | 11789 12234 318 | 0.000 % | 38.18/38.22 c | 92917 | 6660 13142 55280 | 12968 9962 362 | 0.000 % | 40.08/40.20 c | 98683 | 6660 13142 55280 | 14265 15728 366 | 0.000 % | 42.98/43.08 c | 107332 | 6660 13142 55280 | 15692 16513 360 | 0.000 % | 47.28/47.34 c | 120306 | 6660 13142 55280 | 17261 21231 352 | 0.000 % | 56.38/56.49 c | 139768 | 6660 13142 55280 | 18987 17020 339 | 0.000 % | 70.18/70.21 c | 168961 | 6660 13142 55280 | 20886 16836 358 | 0.000 % | 99.27/99.33 c | 212750 | 6660 13142 55280 | 22974 10993 369 | 0.000 % | 144.06/144.16 c | 278434 | 6660 13142 55280 | 25272 21105 368 | 0.000 % | 144.25/144.32 c =============================================================================== 144.25/144.32 c New solution: -20 144.25/144.32 o -20 144.25/144.32 c Elapsed CPU time: 142.872 s Remaining CPU time: 37.1277 s 144.25/144.32 c =============================================================================== 144.25/144.32 c | 278690 | 6660 13143 55480 | 5000 21361 364 | 0.000 % | 144.45/144.57 c | 278795 | 6660 13143 55480 | 5500 2776 339 | 0.000 % | 144.56/144.60 c | 278945 | 6660 13143 55480 | 6050 2926 341 | 0.000 % | 144.56/144.65 c | 279171 | 6660 13143 55480 | 6655 3152 343 | 0.000 % | 144.66/144.73 c | 279508 | 6660 13143 55480 | 7320 3489 344 | 0.000 % | 144.75/144.84 c | 280014 | 6660 13143 55480 | 8052 3995 347 | 0.000 % | 144.96/145.00 c | 280773 | 6660 13143 55480 | 8857 4754 348 | 0.000 % | 145.17/145.23 c | 281913 | 6660 13143 55480 | 9743 5894 348 | 0.000 % | 145.55/145.64 c | 283622 | 6660 13143 55480 | 10717 7603 353 | 0.000 % | 146.85/146.91 c | 286184 | 6660 13143 55480 | 11789 10165 301 | 0.000 % | 148.65/148.75 c | 290028 | 6660 13143 55480 | 12968 14009 297 | 0.000 % | 150.45/150.56 c | 295794 | 6660 13143 55480 | 14265 12771 298 | 0.000 % | 150.56/150.64 c =============================================================================== 150.56/150.64 c New solution: -21 150.56/150.64 o -21 150.56/150.64 c Elapsed CPU time: 149.1 s Remaining CPU time: 30.8997 s 150.56/150.64 c =============================================================================== 150.56/150.64 c | 295958 | 6660 13144 55680 | 5000 12935 294 | 0.000 % | 150.66/150.71 c | 296059 | 6660 13144 55680 | 5500 3335 341 | 0.000 % | 150.66/150.75 c | 296209 | 6660 13144 55680 | 6050 3485 342 | 0.000 % | 150.76/150.80 c | 296434 | 6660 13144 55680 | 6655 3710 343 | 0.000 % | 150.76/150.89 c | 296771 | 6660 13144 55680 | 7320 4047 345 | 0.000 % | 150.95/151.01 c | 297277 | 6660 13144 55680 | 8052 4553 348 | 0.000 % | 151.16/151.20 c | 298036 | 6660 13144 55680 | 8857 5312 350 | 0.000 % | 151.45/151.54 c | 299175 | 6660 13144 55680 | 9743 6451 352 | 0.000 % | 151.86/151.95 c | 300884 | 6660 13144 55680 | 10717 8160 355 | 0.000 % | 152.76/152.85 c | 303446 | 6660 13144 55680 | 11789 10722 354 | 0.000 % | 153.96/154.03 c | 307290 | 6660 13144 55680 | 12968 14566 358 | 0.000 % | 156.85/156.96 c | 313056 | 6660 13144 55680 | 14265 13049 284 | 0.000 % | 159.95/160.06 c | 321705 | 6660 13144 55680 | 15692 11306 324 | 0.000 % | 165.15/165.28 c | 334679 | 6660 13144 55680 | 17261 12764 366 | 0.000 % | 175.45/175.56 c =============================================================================== 175.45/175.56 c New solution: -22 175.45/175.56 o -22 175.45/175.56 c Elapsed CPU time: 173.774 s Remaining CPU time: 6.22642 s 175.45/175.56 c =============================================================================== 175.45/175.56 c | 349284 | 6660 13145 55880 | 5000 14523 216 | 0.000 % | 175.55/175.67 c | 349384 | 6660 13145 55880 | 5500 3731 202 | 0.000 % | 175.65/175.71 c | 349534 | 6660 13145 55880 | 6050 3881 208 | 0.000 % | 175.65/175.78 c | 349759 | 6660 13145 55880 | 6655 4106 216 | 0.000 % | 175.75/175.86 c | 350096 | 6660 13145 55880 | 7320 4443 227 | 0.000 % | 175.85/175.99 c | 350603 | 6660 13145 55880 | 8052 4950 241 | 0.000 % | 176.04/176.19 c | 351362 | 6660 13145 55880 | 8857 5709 257 | 0.000 % | 176.74/176.82 c | 352505 | 6660 13145 55880 | 9743 6852 242 | 0.000 % | 177.54/177.60 c | 354213 | 6660 13145 55880 | 10717 8560 246 | 0.000 % | 179.05/179.19 c | 356775 | 6660 13145 55880 | 11789 11122 226 | 0.000 % | 181.35/181.48 c | 360619 | 6660 13145 55880 | 12968 14966 238 | 0.000 % | 181.74/181.85 c There are 0 assigned variables. 0 in cost function. 182.25/182.34 c core #1 182.25/182.34 c 182.25/182.34 c 182.25/182.34 c Core size: 401 Core Weight: 1 Total Weight: -199 182.25/182.34 c 182.25/182.34 c 182.25/182.34 c ============================[ Search Statistics ]============================== 182.25/182.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.25/182.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.25/182.34 c =============================================================================== 182.25/182.34 c | 0 | 6860 14910 61166 | 5000 0 nan | 0.000 % | 182.35/182.44 c | 100 | 6859 14910 61166 | 5500 100 80 | 1.168 % | 182.35/182.47 c =============================================================================== 182.46/182.54 c core #2 182.46/182.54 c 182.46/182.54 c 182.46/182.54 c Core size: 146 Core Weight: 1 Total Weight: -198 182.46/182.54 c 182.46/182.54 c 182.46/182.54 c ============================[ Search Statistics ]============================== 182.46/182.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.46/182.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.46/182.54 c =============================================================================== 182.46/182.54 c | 0 | 6995 14928 61487 | 5000 0 nan | 0.000 % | 182.56/182.66 c | 100 | 6995 14928 61487 | 5500 100 148 | 0.000 % | 182.65/182.79 c | 250 | 6995 14928 61487 | 6050 250 107 | 0.000 % | 182.95/183.02 c | 475 | 6994 14928 61487 | 6655 474 118 | 0.014 % | 183.45/183.53 c | 813 | 6993 14928 61487 | 7320 812 116 | 0.586 % | 183.94/184.04 c | 1319 | 6946 14928 61487 | 8052 1249 115 | 2.959 % | 184.65/184.74 c | 2082 | 6788 14928 61487 | 8857 1910 110 | 2.959 % | 184.95/185.07 c =============================================================================== 185.04/185.17 c core #3 185.04/185.17 c 185.04/185.17 c 185.04/185.17 c Core size: 207 Core Weight: 1 Total Weight: -197 185.04/185.17 c 185.04/185.17 c 185.04/185.17 c ============================[ Search Statistics ]============================== 185.04/185.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.04/185.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.04/185.17 c =============================================================================== 185.04/185.17 c | 0 | 7195 15041 62223 | 5013 0 nan | 0.000 % | 185.44/185.50 c | 200 | 7195 15041 62223 | 5515 200 232 | 0.000 % | 185.54/185.68 c | 351 | 7195 15041 62223 | 6066 351 239 | 0.000 % | 185.75/185.89 c | 585 | 7195 15041 62223 | 6673 585 214 | 0.000 % | 186.24/186.31 c | 922 | 7195 15041 62223 | 7340 922 186 | 0.000 % | 187.24/187.32 c | 1428 | 7195 15041 62223 | 8074 1428 168 | 0.000 % | 188.15/188.24 c | 2187 | 7195 15041 62223 | 8882 2187 173 | 0.000 % | 189.95/190.04 c | 3326 | 7195 15041 62223 | 9770 3326 168 | 0.000 % | 191.94/192.06 c | 5034 | 7195 15041 62223 | 10747 5034 171 | 0.000 % | 195.14/195.29 c | 7596 | 7195 15041 62223 | 11821 7596 170 | 0.001 % | 199.74/199.83 c | 11440 | 7195 15041 62223 | 13004 11440 165 | 0.004 % | 205.84/205.98 c | 17206 | 7195 15041 62223 | 14304 10450 143 | 0.008 % | 214.73/214.90 c | 25856 | 7166 15041 62223 | 15735 8314 143 | 0.407 % | 227.04/227.16 c | 38830 | 6947 15041 62223 | 17308 11261 133 | 18.337 % | 231.84/231.96 c =============================================================================== 232.73/232.81 c core #4 232.73/232.81 c 232.73/232.81 c 232.73/232.81 c Core size: 231 Core Weight: 1 Total Weight: -196 232.73/232.81 c 232.73/232.81 c 232.73/232.81 c ============================[ Search Statistics ]============================== 232.73/232.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.73/232.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.73/232.81 c =============================================================================== 232.73/232.81 c | 0 | 7395 15968 65383 | 5322 0 nan | 0.000 % | 232.83/232.96 c | 100 | 7395 15968 65383 | 5854 100 370 | 0.000 % | 233.04/233.15 c | 250 | 7395 15968 65383 | 6440 250 278 | 0.000 % | 233.23/233.30 c | 475 | 7395 15968 65383 | 7084 475 163 | 0.000 % | 233.73/233.86 c | 819 | 7395 15968 65383 | 7792 819 182 | 0.000 % | 234.14/234.27 c | 1325 | 7395 15968 65383 | 8572 1325 182 | 0.000 % | 234.93/235.07 c | 2085 | 7395 15968 65383 | 9429 2085 170 | 0.000 % | 236.23/236.32 c | 3224 | 7395 15968 65383 | 10372 3224 186 | 0.000 % | 237.73/237.85 c | 4932 | 7395 15968 65383 | 11409 4932 196 | 0.000 % | 240.33/240.41 c | 7500 | 7395 15968 65383 | 12550 7500 221 | 0.000 % | 243.73/243.89 c | 11350 | 7395 15968 65383 | 13805 11350 223 | 0.000 % | 248.93/249.08 c | 17116 | 7395 15968 65383 | 15186 8713 219 | 0.000 % | 258.13/258.23 c | 25765 | 7395 15968 65383 | 16704 17362 252 | 0.000 % | 270.82/270.91 c | 38751 | 7395 15968 65383 | 18375 11841 154 | 0.000 % | 292.12/292.20 c | 58212 | 7353 15968 65383 | 20212 5563 105 | 0.568 % | 330.92/331.02 c | 87407 | 7353 15968 65383 | 22234 12627 115 | 0.569 % | 372.40/372.58 c =============================================================================== 375.01/375.14 c core #5 375.01/375.14 c 375.01/375.14 c 375.01/375.14 c Core size: 226 Core Weight: 1 Total Weight: -195 375.01/375.14 c 375.01/375.14 c 375.01/375.14 c ============================[ Search Statistics ]============================== 375.01/375.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 375.01/375.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 375.01/375.14 c =============================================================================== 375.01/375.14 c | 0 | 7594 17242 69580 | 5747 0 nan | 0.000 % | 375.20/375.33 c | 100 | 7594 17242 69580 | 6322 100 392 | 0.000 % | 376.60/376.72 c | 250 | 7594 17242 69580 | 6954 250 247 | 0.000 % | 376.60/376.75 c | 477 | 7594 17242 69580 | 7649 477 137 | 0.000 % | 377.11/377.28 c | 814 | 7594 17242 69580 | 8414 814 219 | 0.000 % | 377.40/377.56 c | 1320 | 7594 17242 69580 | 9256 1320 188 | 0.000 % | 377.59/377.75 c | 2079 | 7594 17242 69580 | 10181 2079 125 | 0.000 % | 379.40/379.54 c | 3218 | 7594 17242 69580 | 11199 3218 178 | 0.000 % | 381.80/381.90 c | 4926 | 7594 17242 69580 | 12319 4926 194 | 0.000 % | 385.20/385.38 c | 7488 | 7594 17242 69580 | 13551 7488 173 | 0.000 % | 390.31/390.46 c | 11332 | 7594 17242 69580 | 14907 11332 162 | 0.000 % | 399.39/399.59 c | 17104 | 7594 17242 69580 | 16397 9226 120 | 0.000 % | 411.39/411.58 c | 25753 | 7594 17242 69580 | 18037 17875 124 | 0.000 % | 445.28/445.48 c | 38728 | 7594 17242 69580 | 19841 11423 126 | 0.000 % | 507.47/507.60 c | 58246 | 7594 17242 69580 | 21825 18169 147 | 0.000 % | 527.16/527.33 c | 87439 | 7594 17242 69580 | 24008 12554 355 | 0.000 % | 583.35/583.59 c | 131228 | 7594 17242 69580 | 26408 20662 189 | 0.000 % | 664.82/665.08 c | 196912 | 7594 17242 69580 | 29049 24292 188 | 0.000 % | 790.00/790.29 c | 295438 | 7594 17242 69580 | 31954 29635 206 | 0.000 % | 980.24/980.56 c | 443227 | 7594 17242 69580 | 35150 22471 208 | 0.000 % | 1251.38/1251.71 c | 664910 | 7594 17242 69580 | 38665 13171 193 | 0.000 % | 1564.10/1564.52 c | 997435 | 7594 17242 69580 | 42531 42487 346 | 0.000 % |
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-2702695-1278574710/watcher-2702695-1278574710 -o /tmp/evaluation-result-2702695-1278574710/solver-2702695-1278574710 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702695-1278574710.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.85 3/106 32047 /proc/meminfo: memFree=1611756/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=3728 CPUtime=0 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 415 0 0 0 0 0 0 0 19 0 1 0 25678819 3817472 333 1992294400 134512640 135752675 4292642160 18446744073709551615 134609555 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 932 333 137 303 0 496 0 [startup+0.0953929 s] /proc/loadavg: 0.91 0.95 0.85 3/106 32047 /proc/meminfo: memFree=1611756/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=5544 CPUtime=0.09 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 986 0 0 0 9 0 0 0 19 0 1 0 25678819 5677056 904 1992294400 134512640 135752675 4292642160 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 1386 905 252 303 0 950 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5544 [startup+0.101394 s] /proc/loadavg: 0.91 0.95 0.85 3/106 32047 /proc/meminfo: memFree=1611756/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=5676 CPUtime=0.09 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 1018 0 0 0 9 0 0 0 20 0 1 0 25678819 5812224 936 1992294400 134512640 135752675 4292642160 18446744073709551615 134559859 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 1419 936 259 303 0 983 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5676 [startup+0.301414 s] /proc/loadavg: 0.91 0.95 0.85 3/106 32047 /proc/meminfo: memFree=1611756/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=7152 CPUtime=0.29 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 1517 0 0 0 29 0 0 0 20 0 1 0 25678819 7323648 1304 1992294400 134512640 135752675 4292642160 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 1788 1304 144 303 0 1483 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7152 [startup+0.701453 s] /proc/loadavg: 0.91 0.95 0.85 3/106 32047 /proc/meminfo: memFree=1611756/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=7152 CPUtime=0.69 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 1518 0 0 0 68 1 0 0 21 0 1 0 25678819 7323648 1305 1992294400 134512640 135752675 4292642160 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 1788 1305 145 303 0 1483 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7152 [startup+1.50153 s] /proc/loadavg: 0.91 0.95 0.85 2/107 32050 /proc/meminfo: memFree=1607284/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=8328 CPUtime=1.49 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 1818 0 0 0 148 1 0 0 23 0 1 0 25678819 8527872 1605 1992294400 134512640 135752675 4292642160 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 2082 1605 145 303 0 1777 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8328 [startup+3.10069 s] /proc/loadavg: 0.92 0.95 0.85 2/107 32050 /proc/meminfo: memFree=1602944/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=15128 CPUtime=3.09 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 3519 0 0 0 306 3 0 0 25 0 1 0 25678819 15491072 3306 1992294400 134512640 135752675 4292642160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 3782 3306 145 303 0 3477 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15128 [startup+6.301 s] /proc/loadavg: 0.92 0.95 0.85 2/107 32050 /proc/meminfo: memFree=1592776/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=23836 CPUtime=6.29 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 5686 0 0 0 623 6 0 0 25 0 1 0 25678819 24408064 5473 1992294400 134512640 135752675 4292642160 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 5959 5473 145 303 0 5654 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23836 [startup+12.7006 s] /proc/loadavg: 0.93 0.95 0.85 2/107 32050 /proc/meminfo: memFree=1570456/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=47360 CPUtime=12.69 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 11581 0 0 0 1254 15 0 0 25 0 1 0 25678819 48496640 11368 1992294400 134512640 135752675 4292642160 18446744073709551615 134637949 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 11840 11368 145 303 0 11535 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47360 [startup+25.5009 s] /proc/loadavg: 0.94 0.96 0.85 2/107 32050 /proc/meminfo: memFree=1519244/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=95980 CPUtime=25.49 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 23731 0 0 0 2518 31 0 0 25 0 1 0 25678819 98283520 23518 1992294400 134512640 135752675 4292642160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 23995 23518 145 303 0 23690 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 95980 [startup+51.1014 s] /proc/loadavg: 0.96 0.96 0.86 2/107 32050 /proc/meminfo: memFree=1411116/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=204492 CPUtime=51.08 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 50872 0 0 0 5041 67 0 0 25 0 1 0 25678819 209399808 50659 1992294400 134512640 135752675 4292642160 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 51123 50659 145 303 0 50818 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 204492 [startup+102.308 s] /proc/loadavg: 0.98 0.96 0.86 2/107 32052 /proc/meminfo: memFree=1270624/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=343144 CPUtime=102.27 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 85499 0 0 0 10115 112 0 0 25 0 1 0 25678819 351379456 85286 1992294400 134512640 135752675 4292642160 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 85786 85286 145 303 0 85481 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 343144 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.87 2/107 32054 /proc/meminfo: memFree=1116120/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=500296 CPUtime=162.25 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 124760 0 0 0 16061 164 0 0 25 0 1 0 25678819 512303104 124547 1992294400 134512640 135752675 4292642160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 125074 124547 145 303 0 124769 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 500296 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.87 2/107 32054 /proc/meminfo: memFree=1058956/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=553832 CPUtime=222.24 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 138430 0 0 0 22020 204 0 0 25 0 1 0 25678819 567123968 138028 1992294400 134512640 135752675 4292642160 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 138458 138028 146 303 0 138153 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 553832 [startup+282.301 s] /proc/loadavg: 1.04 0.99 0.89 2/107 32056 /proc/meminfo: memFree=1019152/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=594224 CPUtime=282.22 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 148489 0 0 0 27975 247 0 0 25 0 1 0 25678819 608485376 148087 1992294400 134512640 135752675 4292642160 18446744073709551615 134639515 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 148556 148087 146 303 0 148251 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 594224 [startup+342.301 s] /proc/loadavg: 1.01 0.99 0.89 2/107 32058 /proc/meminfo: memFree=988400/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=624252 CPUtime=342.21 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 156004 0 0 0 33945 276 0 0 25 0 1 0 25678819 639234048 155602 1992294400 134512640 135752675 4292642160 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 156063 155602 146 303 0 155758 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 624252 [startup+402.301 s] /proc/loadavg: 1.12 1.02 0.91 2/107 32060 /proc/meminfo: memFree=975132/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=637372 CPUtime=402.19 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 159260 0 0 0 39921 298 0 0 25 0 1 0 25678819 652668928 158858 1992294400 134512640 135752675 4292642160 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 159343 158858 146 303 0 159038 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 637372 [startup+462.301 s] /proc/loadavg: 1.11 1.03 0.91 2/107 32062 /proc/meminfo: memFree=972528/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=639888 CPUtime=462.18 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 159919 0 0 0 45900 318 0 0 25 0 1 0 25678819 655245312 159517 1992294400 134512640 135752675 4292642160 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 159972 159517 146 303 0 159667 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 639888 [startup+522.302 s] /proc/loadavg: 1.11 1.04 0.92 2/107 32062 /proc/meminfo: memFree=931484/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=682384 CPUtime=522.16 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 170527 0 0 0 51879 337 0 0 25 0 1 0 25678819 698761216 170125 1992294400 134512640 135752675 4292642160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 170596 170125 146 303 0 170291 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 682384 [startup+582.302 s] /proc/loadavg: 1.10 1.04 0.93 2/107 32064 /proc/meminfo: memFree=887588/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=724804 CPUtime=582.14 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 181131 0 0 0 57848 366 0 0 25 0 1 0 25678819 742199296 180729 1992294400 134512640 135752675 4292642160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 181201 180729 146 303 0 180896 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 724804 [startup+642.302 s] /proc/loadavg: 1.08 1.05 0.93 3/107 32066 /proc/meminfo: memFree=849520/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=762580 CPUtime=642.14 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 190576 0 0 0 63818 396 0 0 25 0 1 0 25678819 780881920 190174 1992294400 134512640 135752675 4292642160 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 190645 190174 146 303 0 190340 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 762580 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.02 0.94 2/107 32072 /proc/meminfo: memFree=693404/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=918252 CPUtime=882.07 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 229483 0 0 0 87691 516 0 0 25 0 1 0 25678819 940290048 229081 1992294400 134512640 135752675 4292642160 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 229563 229081 146 303 0 229258 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 918252 [startup+942.301 s] /proc/loadavg: 1.00 1.02 0.94 2/107 32074 /proc/meminfo: memFree=655832/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=956876 CPUtime=942.05 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 239122 0 0 0 93662 543 0 0 25 0 1 0 25678819 979841024 238720 1992294400 134512640 135752675 4292642160 18446744073709551615 134518874 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 239219 238720 146 303 0 238914 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 956876 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 0.94 2/107 32076 /proc/meminfo: memFree=617516/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=994100 CPUtime=1002.04 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 248436 0 0 0 99634 570 0 0 25 0 1 0 25678819 1017958400 248034 1992294400 134512640 135752675 4292642160 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 248525 248034 146 303 0 248220 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 994100 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 0.94 2/107 32078 /proc/meminfo: memFree=575604/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1036256 CPUtime=1062.03 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 258945 0 0 0 105604 599 0 0 25 0 1 0 25678819 1061126144 258543 1992294400 134512640 135752675 4292642160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 259064 258543 146 303 0 258759 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1036256 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 32078 /proc/meminfo: memFree=535800/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1075824 CPUtime=1122.01 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 268813 0 0 0 111575 626 0 0 25 0 1 0 25678819 1101643776 268411 1992294400 134512640 135752675 4292642160 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 268956 268411 146 303 0 268651 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1075824 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 32080 /proc/meminfo: memFree=492276/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1120324 CPUtime=1182 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 279950 0 0 0 117546 654 0 0 25 0 1 0 25678819 1147211776 279548 1992294400 134512640 135752675 4292642160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 280081 279548 146 303 0 279776 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1120324 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 32082 /proc/meminfo: memFree=434864/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1176868 CPUtime=1241.98 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 294065 0 0 0 123510 688 0 0 25 0 1 0 25678819 1205112832 293663 1992294400 134512640 135752675 4292642160 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 294217 293663 146 303 0 293912 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1176868 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 32084 /proc/meminfo: memFree=351412/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1259784 CPUtime=1301.98 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 314765 0 0 0 129476 722 0 0 25 0 1 0 25678819 1290018816 314363 1992294400 134512640 135752675 4292642160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 314946 314363 146 303 0 314641 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1259784 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 32095 /proc/meminfo: memFree=293256/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1317792 CPUtime=1361.95 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 329234 0 0 0 135449 746 0 0 25 0 1 0 25678819 1349419008 328832 1992294400 134512640 135752675 4292642160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 329448 328832 146 303 0 329143 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1317792 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/107 32095 /proc/meminfo: memFree=193188/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1417560 CPUtime=1421.93 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 354150 0 0 0 141408 785 0 0 25 0 1 0 25678819 1451581440 353748 1992294400 134512640 135752675 4292642160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 354390 353748 146 303 0 354085 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1417560 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 32097 /proc/meminfo: memFree=94112/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1516956 CPUtime=1481.91 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 379003 0 0 0 147367 824 0 0 25 0 1 0 25678819 1553362944 378601 1992294400 134512640 135752675 4292642160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 379239 378601 146 303 0 378934 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1516956 [startup+1542.3 s] /proc/loadavg: 1.08 1.02 0.94 2/107 32099 /proc/meminfo: memFree=10492/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1616916 CPUtime=1541.9 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 403973 0 0 0 153329 861 0 0 25 0 1 0 25678819 1655721984 403571 1992294400 134512640 135752675 4292642160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 404229 403571 146 303 0 403924 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1616916 [startup+1602.3 s] /proc/loadavg: 1.03 1.01 0.94 2/107 32101 /proc/meminfo: memFree=10112/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1722632 CPUtime=1601.88 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 430389 0 0 0 159283 905 0 0 25 0 1 0 25678819 1763975168 429987 1992294400 134512640 135752675 4292642160 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 430658 429987 146 303 0 430353 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1722632 [startup+1662.3 s] /proc/loadavg: 1.05 1.02 0.95 2/107 32103 /proc/meminfo: memFree=9916/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1761688 CPUtime=1661.88 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 440154 0 0 0 165256 932 0 0 25 0 1 0 25678819 1803968512 439752 1992294400 134512640 135752675 4292642160 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 440422 439752 146 303 0 440117 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1761688 [startup+1722.3 s] /proc/loadavg: 1.02 1.02 0.95 2/107 32103 /proc/meminfo: memFree=10236/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1791688 CPUtime=1721.86 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 447626 0 0 0 171229 957 0 0 25 0 1 0 25678819 1834688512 447224 1992294400 134512640 135752675 4292642160 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 447922 447224 146 303 0 447617 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1791688 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 0.95 2/107 32105 /proc/meminfo: memFree=9372/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1830020 CPUtime=1781.84 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 457235 0 0 0 177198 986 0 0 25 0 1 0 25678819 1873940480 456833 1992294400 134512640 135752675 4292642160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 457505 456833 146 303 0 457200 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1830020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.01 0.95 2/107 32105 /proc/meminfo: memFree=9800/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=1839260 CPUtime=1800.04 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4202496 459533 0 0 0 179011 993 0 0 25 0 1 0 25678819 1883402240 459131 1992294400 134512640 135752675 4292642160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32047/statm: 459815 459131 146 303 0 459510 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1839260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.01 0.95 2/108 32106 /proc/meminfo: memFree=1088344/2059040 swapFree=4140080/4192956 [pid=32047] ppid=32045 vsize=0 CPUtime=1800.15 /proc/32047/stat : 32047 (wbo1.4b) R 32045 32047 31868 0 -1 4203524 459533 0 0 0 179011 1004 0 0 25 0 1 0 25678819 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/32047/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.68 CPU time (s): 1800.23 CPU user time (s): 1790.12 CPU system time (s): 10.1105 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 1839260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.12 system time used= 10.1105 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459533 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= 9 involuntary context switches= 19009 runsolver used 2.95055 second user time and 8.5467 second system time The end
Begin job on node036 at 2010-07-08 09:38:30 IDJOB=2702695 IDBENCH=48282 IDSOLVER=1190 FILE ID=node036/2702695-1278574710 PBS_JOBID= 11240088 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_4.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-2702695-1278574710/watcher-2702695-1278574710 -o /tmp/evaluation-result-2702695-1278574710/solver-2702695-1278574710 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702695-1278574710.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f7dd1b6b0a4946caf4c26a82905ed8fe RANDOM SEED=1844569053 node036.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.244 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.48 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.244 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1613028 kB Buffers: 77224 kB Cached: 265352 kB SwapCached: 7176 kB Active: 84044 kB Inactive: 272788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1613028 kB SwapTotal: 4192956 kB SwapFree: 4140080 kB Dirty: 2860 kB Writeback: 4 kB AnonPages: 12072 kB Mapped: 12116 kB Slab: 67384 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179496 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-2702695-1278574710.opb Free space on /tmp at the end= 62540 MiB End job on node036 at 2010-07-08 10:08:33