Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 572.276 | 572.321 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo |
MD5SUM | e433b9b816c291c8bf4fd4860d096bb6 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 16 |
Best CPU time to get the best result obtained on this benchmark | 0.301953 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 4944 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 4943 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1320 |
Number of bits of the biggest sum of numbers | 11 |
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 wbo file format. File HOME/instance-2690090-1277923673.wbo. 0.00/0.00 c Instance file HOME/instance-2690090-1277923673.wbo 0.00/0.00 c File size is 10475 bytes. 0.00/0.00 c Highest Coefficient sum: 1320 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 102 | 169 101 1205 | 5500 102 33 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 36 | 0.004 % | 0.00/0.01 c | 477 | 169 101 1205 | 6655 477 33 | 0.004 % | 0.00/0.02 c | 814 | 169 101 1205 | 7320 814 34 | 0.004 % | 0.00/0.03 c | 1321 | 169 101 1205 | 8052 1321 33 | 0.004 % | 0.00/0.05 c | 2081 | 169 101 1205 | 8857 2081 33 | 0.004 % | 0.06/0.09 c | 3222 | 169 101 1205 | 9743 3222 34 | 0.004 % | 0.09/0.15 c | 4930 | 169 101 1205 | 10717 4930 35 | 0.004 % | 0.19/0.28 c | 7493 | 169 101 1205 | 11789 7493 37 | 0.004 % | 0.49/0.51 c | 11337 | 169 101 1205 | 12968 11337 39 | 0.004 % | 0.79/0.87 c | 17105 | 169 101 1205 | 14265 10570 42 | 0.004 % | 1.38/1.44 c | 25754 | 169 101 1205 | 15692 12029 42 | 0.004 % | 2.27/2.32 c | 38729 | 128 101 1205 | 17261 2062 38 | 24.264 % | 2.27/2.34 c =============================================================================== 2.48/2.50 c core #1 2.48/2.50 c ============================[ Search Statistics ]============================== 2.48/2.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.48/2.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.48/2.50 c =============================================================================== 2.48/2.50 c | 0 | 264 200 2566 | 5000 0 nan | 0.000 % | 2.48/2.50 c | 100 | 264 200 2566 | 5500 100 35 | 0.001 % | 2.48/2.50 c | 250 | 264 200 2566 | 6050 250 32 | 0.001 % | 2.48/2.51 c | 475 | 264 200 2566 | 6655 475 30 | 0.001 % | 2.48/2.52 c | 812 | 264 200 2566 | 7320 812 33 | 0.001 % | 2.48/2.54 c | 1320 | 264 200 2566 | 8052 1320 32 | 0.001 % | 2.48/2.56 c | 2079 | 264 200 2566 | 8857 2079 32 | 0.001 % | 2.58/2.61 c | 3219 | 264 200 2566 | 9743 3219 32 | 0.001 % | 2.58/2.69 c | 4927 | 264 200 2566 | 10717 4927 36 | 0.001 % | 2.77/2.85 c | 7492 | 264 200 2566 | 11789 7492 37 | 0.001 % | 3.08/3.13 c | 11337 | 264 200 2566 | 12968 11337 38 | 0.001 % | 3.48/3.54 c | 17104 | 264 200 2566 | 14265 10571 42 | 0.001 % | 4.08/4.13 c | 25753 | 264 200 2566 | 15692 12036 43 | 0.001 % | 5.08/5.10 c | 38728 | 264 200 2566 | 17261 9199 42 | 0.001 % | 6.38/6.44 c | 58189 | 236 200 2566 | 18987 6244 44 | 10.608 % | 6.87/6.96 c =============================================================================== 7.17/7.26 c core #2 7.17/7.26 c ============================[ Search Statistics ]============================== 7.17/7.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.17/7.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.17/7.26 c =============================================================================== 7.17/7.26 c | 0 | 358 298 3915 | 5000 0 nan | 0.000 % | 7.17/7.27 c | 101 | 358 298 3915 | 5500 101 31 | 0.001 % | 7.17/7.27 c | 251 | 358 298 3915 | 6050 251 25 | 0.001 % | 7.17/7.28 c | 476 | 358 298 3915 | 6655 476 27 | 0.001 % | 7.17/7.29 c | 813 | 358 298 3915 | 7320 813 27 | 0.001 % | 7.28/7.31 c | 1319 | 358 298 3915 | 8052 1319 29 | 0.001 % | 7.28/7.33 c | 2078 | 358 298 3915 | 8857 2078 30 | 0.001 % | 7.28/7.37 c | 3217 | 358 298 3915 | 9743 3217 34 | 0.001 % | 7.38/7.45 c | 4927 | 358 298 3915 | 10717 4927 34 | 0.001 % | 7.48/7.59 c | 7491 | 358 298 3915 | 11789 7491 36 | 0.001 % | 7.77/7.82 c | 11336 | 358 298 3915 | 12968 11336 36 | 0.001 % | 8.08/8.18 c | 17102 | 358 298 3915 | 14265 10574 38 | 0.001 % | 8.68/8.74 c | 25752 | 358 298 3915 | 15692 12042 43 | 0.001 % | 9.68/9.72 c | 38727 | 358 298 3915 | 17261 9223 44 | 0.001 % | 11.17/11.27 c | 58190 | 358 298 3915 | 18987 11305 44 | 0.001 % | 11.57/11.67 c =============================================================================== 11.88/11.97 c core #3 11.88/11.97 c ============================[ Search Statistics ]============================== 11.88/11.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.88/11.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.88/11.97 c =============================================================================== 11.88/11.97 c | 0 | 453 395 5254 | 5000 0 nan | 0.000 % | 11.88/11.98 c | 101 | 453 395 5254 | 5500 101 31 | 0.000 % | 11.88/11.99 c | 251 | 453 395 5254 | 6050 251 32 | 0.000 % | 11.88/11.99 c | 476 | 453 395 5254 | 6655 476 29 | 0.000 % | 11.98/12.00 c | 814 | 453 395 5254 | 7320 814 29 | 0.000 % | 11.98/12.02 c | 1321 | 453 395 5254 | 8052 1321 30 | 0.000 % | 11.98/12.05 c | 2081 | 453 395 5254 | 8857 2081 32 | 0.000 % | 11.98/12.10 c | 3221 | 453 395 5254 | 9743 3221 32 | 0.000 % | 12.08/12.17 c | 4929 | 453 395 5254 | 10717 4929 32 | 0.000 % | 12.28/12.31 c | 7491 | 453 395 5254 | 11789 7491 34 | 0.000 % | 12.47/12.56 c | 11335 | 453 395 5254 | 12968 11335 36 | 0.000 % | 12.87/12.97 c | 17101 | 453 395 5254 | 14265 10568 39 | 0.000 % | 13.57/13.60 c | 25750 | 453 395 5254 | 15692 12035 43 | 0.000 % | 14.46/14.58 c | 38726 | 453 395 5254 | 17261 9222 42 | 0.000 % | 15.96/16.08 c | 58187 | 453 395 5254 | 18987 11303 47 | 0.000 % | 18.26/18.37 c | 87381 | 453 395 5254 | 20886 11870 46 | 0.000 % | 19.06/19.10 c =============================================================================== 19.46/19.57 c core #4 19.46/19.57 c ============================[ Search Statistics ]============================== 19.46/19.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.46/19.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.46/19.57 c =============================================================================== 19.46/19.57 c | 0 | 551 489 6569 | 5000 0 nan | 0.000 % | 19.46/19.58 c | 100 | 551 489 6569 | 5500 100 37 | 0.000 % | 19.46/19.59 c | 251 | 551 489 6569 | 6050 251 39 | 0.000 % | 19.46/19.60 c | 476 | 551 489 6569 | 6655 476 33 | 0.000 % | 19.56/19.61 c | 813 | 551 489 6569 | 7320 813 31 | 0.000 % | 19.56/19.62 c | 1321 | 551 489 6569 | 8052 1321 32 | 0.000 % | 19.56/19.65 c | 2081 | 551 489 6569 | 8857 2081 32 | 0.000 % | 19.56/19.70 c | 3223 | 551 489 6569 | 9743 3223 32 | 0.000 % | 19.67/19.78 c | 4933 | 551 489 6569 | 10717 4933 32 | 0.000 % | 19.87/19.91 c | 7495 | 551 489 6569 | 11789 7495 32 | 0.000 % | 20.07/20.17 c | 11340 | 551 489 6569 | 12968 11340 33 | 0.000 % | 20.46/20.58 c | 17106 | 551 489 6569 | 14265 10579 37 | 0.000 % | 21.07/21.18 c | 25756 | 551 489 6569 | 15692 12049 37 | 0.000 % | 22.06/22.14 c | 38734 | 551 489 6569 | 17261 9220 40 | 0.000 % | 23.56/23.69 c | 58196 | 551 489 6569 | 18987 11339 46 | 0.000 % | 25.97/26.03 c | 87389 | 551 489 6569 | 20886 11884 45 | 0.000 % | 28.37/28.45 c =============================================================================== 28.96/29.03 c core #5 28.96/29.03 c ============================[ Search Statistics ]============================== 28.96/29.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.96/29.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.96/29.03 c =============================================================================== 28.96/29.03 c | 0 | 658 582 7900 | 5000 0 nan | 0.000 % | 28.96/29.05 c | 100 | 658 582 7900 | 5500 100 37 | 0.000 % | 28.96/29.06 c | 250 | 658 582 7900 | 6050 250 33 | 0.000 % | 28.96/29.06 c | 476 | 658 582 7900 | 6655 476 31 | 0.000 % | 28.96/29.08 c | 815 | 658 582 7900 | 7320 815 30 | 0.000 % | 28.96/29.10 c | 1322 | 658 582 7900 | 8052 1322 30 | 0.000 % | 29.06/29.13 c | 2081 | 658 582 7900 | 8857 2081 31 | 0.000 % | 29.06/29.18 c | 3221 | 658 582 7900 | 9743 3221 31 | 0.000 % | 29.16/29.26 c | 4929 | 658 582 7900 | 10717 4929 32 | 0.000 % | 29.37/29.40 c | 7494 | 658 582 7900 | 11789 7494 32 | 0.000 % | 29.57/29.67 c | 11338 | 658 582 7900 | 12968 11338 35 | 0.000 % | 29.96/30.07 c | 17105 | 658 582 7900 | 14265 10566 37 | 0.000 % | 30.67/30.71 c | 25754 | 658 582 7900 | 15692 12031 38 | 0.000 % | 31.56/31.64 c | 38728 | 658 582 7900 | 17261 9193 38 | 0.000 % | 32.97/33.08 c | 58189 | 658 582 7900 | 18987 11270 43 | 0.000 % | 35.17/35.26 c | 87381 | 658 582 7900 | 20886 11811 45 | 0.009 % | 35.67/35.78 c =============================================================================== 36.17/36.21 c core #6 36.17/36.21 c ============================[ Search Statistics ]============================== 36.17/36.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.17/36.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.17/36.21 c =============================================================================== 36.17/36.21 c | 0 | 747 673 9168 | 5000 0 nan | 0.000 % | 36.17/36.22 c | 100 | 747 673 9168 | 5500 100 43 | 0.000 % | 36.17/36.23 c | 253 | 747 673 9168 | 6050 253 40 | 0.000 % | 36.17/36.24 c | 479 | 747 673 9168 | 6655 479 34 | 0.000 % | 36.17/36.25 c | 816 | 747 673 9168 | 7320 816 33 | 0.000 % | 36.17/36.27 c | 1325 | 747 673 9168 | 8052 1325 32 | 0.000 % | 36.17/36.30 c | 2084 | 747 673 9168 | 8857 2084 35 | 0.000 % | 36.27/36.35 c | 3223 | 747 673 9168 | 9743 3223 36 | 0.000 % | 36.36/36.45 c | 4932 | 747 673 9168 | 10717 4932 35 | 0.000 % | 36.57/36.60 c | 7495 | 747 673 9168 | 11789 7495 37 | 0.000 % | 36.76/36.89 c | 11339 | 747 673 9168 | 12968 11339 38 | 0.000 % | 37.27/37.35 c | 17105 | 747 673 9168 | 14265 10572 39 | 0.000 % | 37.96/38.04 c | 25756 | 747 673 9168 | 15692 12037 39 | 0.000 % | 38.96/39.04 c | 38730 | 747 673 9168 | 17261 9220 41 | 0.000 % | 40.46/40.51 c | 58193 | 747 673 9168 | 18987 11340 42 | 0.000 % | 42.77/42.84 c | 87388 | 747 673 9168 | 20886 11897 43 | 0.000 % | 44.56/44.64 c =============================================================================== 45.07/45.17 c core #7 45.07/45.17 c ============================[ Search Statistics ]============================== 45.07/45.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.07/45.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.07/45.17 c =============================================================================== 45.07/45.17 c | 0 | 855 763 10473 | 5000 0 nan | 0.000 % | 45.07/45.19 c | 100 | 855 763 10473 | 5500 100 41 | 0.000 % | 45.07/45.19 c | 252 | 855 763 10473 | 6050 252 40 | 0.000 % | 45.17/45.20 c | 479 | 855 763 10473 | 6655 479 35 | 0.000 % | 45.17/45.22 c | 816 | 855 763 10473 | 7320 816 35 | 0.000 % | 45.17/45.23 c | 1323 | 855 763 10473 | 8052 1323 33 | 0.000 % | 45.17/45.27 c | 2086 | 855 763 10473 | 8857 2086 34 | 0.000 % | 45.26/45.32 c | 3226 | 855 763 10473 | 9743 3226 35 | 0.000 % | 45.37/45.40 c | 4934 | 855 763 10473 | 10717 4934 34 | 0.000 % | 45.47/45.55 c | 7497 | 855 763 10473 | 11789 7497 35 | 0.000 % | 45.76/45.82 c | 11341 | 855 763 10473 | 12968 11341 36 | 0.000 % | 46.07/46.20 c | 17108 | 855 763 10473 | 14265 10583 38 | 0.000 % | 46.77/46.82 c | 25757 | 855 763 10473 | 15692 12044 37 | 0.000 % | 47.76/47.81 c | 38731 | 855 763 10473 | 17261 9213 41 | 0.000 % | 49.17/49.28 c | 58192 | 855 763 10473 | 18987 11315 40 | 0.000 % | 51.67/51.72 c | 87387 | 855 763 10473 | 20886 11847 42 | 0.000 % | 55.16/55.20 c | 131178 | 828 763 10473 | 22974 7854 38 | 3.158 % | 56.06/56.18 c =============================================================================== 56.86/56.90 c core #8 56.86/56.90 c ============================[ Search Statistics ]============================== 56.86/56.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.86/56.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.86/56.90 c =============================================================================== 56.86/56.90 c | 0 | 959 852 11759 | 5000 0 nan | 0.000 % | 56.86/56.92 c | 101 | 959 852 11759 | 5500 101 42 | 0.000 % | 56.86/56.93 c | 251 | 959 852 11759 | 6050 251 40 | 0.000 % | 56.86/56.94 c | 476 | 959 852 11759 | 6655 476 34 | 0.000 % | 56.86/56.95 c | 813 | 959 852 11759 | 7320 813 33 | 0.000 % | 56.86/56.97 c | 1321 | 959 852 11759 | 8052 1321 31 | 0.000 % | 56.95/57.00 c | 2080 | 959 852 11759 | 8857 2080 31 | 0.000 % | 56.95/57.06 c | 3220 | 959 852 11759 | 9743 3220 33 | 0.000 % | 57.05/57.15 c | 4928 | 959 852 11759 | 10717 4928 33 | 0.000 % | 57.16/57.29 c | 7491 | 959 852 11759 | 11789 7491 33 | 0.000 % | 57.45/57.56 c | 11335 | 959 852 11759 | 12968 11335 34 | 0.000 % | 57.95/58.03 c | 17102 | 959 852 11759 | 14265 10576 36 | 0.000 % | 58.65/58.77 c | 25752 | 959 852 11759 | 15692 12042 38 | 0.000 % | 59.75/59.82 c | 38727 | 959 852 11759 | 17261 9215 40 | 0.000 % | 61.25/61.30 c | 58188 | 959 852 11759 | 18987 11299 42 | 0.000 % | 63.55/63.66 c | 87382 | 959 852 11759 | 20886 11855 42 | 0.002 % | 64.45/64.59 c =============================================================================== 64.96/65.07 c core #9 64.96/65.07 c ============================[ Search Statistics ]============================== 64.96/65.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.96/65.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.96/65.07 c =============================================================================== 64.96/65.07 c | 0 | 1064 941 13044 | 5000 0 nan | 0.000 % | 64.96/65.09 c | 100 | 1064 941 13044 | 5500 100 55 | 0.000 % | 65.05/65.10 c | 251 | 1064 941 13044 | 6050 251 52 | 0.000 % | 65.05/65.11 c | 476 | 1064 941 13044 | 6655 476 46 | 0.000 % | 65.05/65.12 c | 814 | 1064 941 13044 | 7320 814 42 | 0.000 % | 65.05/65.14 c | 1320 | 1064 941 13044 | 8052 1320 39 | 0.000 % | 65.05/65.18 c | 2080 | 1064 941 13044 | 8857 2080 35 | 0.000 % | 65.15/65.23 c | 3219 | 1064 941 13044 | 9743 3219 34 | 0.000 % | 65.25/65.32 c | 4927 | 1064 941 13044 | 10717 4927 33 | 0.000 % | 65.35/65.47 c | 7490 | 1064 941 13044 | 11789 7490 34 | 0.000 % | 65.65/65.74 c | 11334 | 1064 941 13044 | 12968 11334 36 | 0.000 % | 66.06/66.17 c | 17100 | 1064 941 13044 | 14265 10571 37 | 0.000 % | 66.76/66.87 c | 25749 | 1064 941 13044 | 15692 12048 40 | 0.000 % | 67.75/67.89 c | 38725 | 1064 941 13044 | 17261 9220 43 | 0.000 % | 69.45/69.55 c | 58187 | 1064 941 13044 | 18987 11304 43 | 0.000 % | 72.15/72.21 c | 87379 | 1064 941 13044 | 20886 11856 45 | 0.000 % | 74.95/75.09 c =============================================================================== 75.65/75.71 c core #10 75.65/75.71 c ============================[ Search Statistics ]============================== 75.65/75.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.65/75.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.65/75.71 c =============================================================================== 75.65/75.71 c | 0 | 1156 1029 14289 | 5000 0 nan | 0.000 % | 75.65/75.73 c | 101 | 1156 1029 14289 | 5500 101 45 | 0.000 % | 75.65/75.73 c | 254 | 1156 1029 14289 | 6050 254 36 | 0.000 % | 75.65/75.74 c | 481 | 1156 1029 14289 | 6655 481 33 | 0.000 % | 75.65/75.76 c | 821 | 1156 1029 14289 | 7320 821 30 | 0.000 % | 75.65/75.78 c | 1329 | 1156 1029 14289 | 8052 1329 31 | 0.000 % | 75.75/75.82 c | 2089 | 1156 1029 14289 | 8857 2089 32 | 0.000 % | 75.75/75.88 c | 3228 | 1156 1029 14289 | 9743 3228 32 | 0.000 % | 75.86/75.98 c | 4936 | 1156 1029 14289 | 10717 4936 33 | 0.000 % | 76.05/76.14 c | 7499 | 1156 1029 14289 | 11789 7499 33 | 0.000 % | 76.25/76.39 c | 11346 | 1156 1029 14289 | 12968 11346 34 | 0.000 % | 76.75/76.84 c | 17112 | 1156 1029 14289 | 14265 10580 37 | 0.000 % | 77.45/77.54 c | 25764 | 1156 1029 14289 | 15692 12049 39 | 0.000 % | 78.55/78.69 c | 38738 | 1156 1029 14289 | 17261 9220 40 | 0.000 % | 80.15/80.28 c | 58200 | 1156 1029 14289 | 18987 11325 40 | 0.000 % | 82.55/82.60 c | 87392 | 1156 1029 14289 | 20886 11880 43 | 0.000 % | 84.35/84.46 c =============================================================================== 84.95/85.00 c core #11 84.95/85.00 c ============================[ Search Statistics ]============================== 84.95/85.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.95/85.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.95/85.00 c =============================================================================== 84.95/85.00 c | 0 | 1276 1117 15592 | 5000 0 nan | 0.000 % | 84.95/85.02 c | 100 | 1276 1117 15592 | 5500 100 48 | 0.000 % | 84.95/85.03 c | 250 | 1276 1117 15592 | 6050 250 37 | 0.000 % | 84.95/85.04 c | 477 | 1276 1117 15592 | 6655 477 34 | 0.000 % | 84.95/85.05 c | 814 | 1276 1117 15592 | 7320 814 34 | 0.000 % | 84.95/85.08 c | 1320 | 1276 1117 15592 | 8052 1320 34 | 0.000 % | 85.05/85.11 c | 2080 | 1276 1117 15592 | 8857 2080 33 | 0.000 % | 85.05/85.17 c | 3222 | 1276 1117 15592 | 9743 3222 33 | 0.000 % | 85.15/85.27 c | 4931 | 1276 1117 15592 | 10717 4931 32 | 0.000 % | 85.35/85.42 c | 7495 | 1276 1117 15592 | 11789 7495 32 | 0.000 % | 85.66/85.71 c | 11340 | 1276 1117 15592 | 12968 11340 33 | 0.000 % | 86.05/86.12 c | 17107 | 1276 1117 15592 | 14265 10568 38 | 0.000 % | 86.75/86.81 c | 25756 | 1276 1117 15592 | 15692 12042 40 | 0.000 % | 87.75/87.90 c | 38730 | 1276 1117 15592 | 17261 9224 41 | 0.000 % | 89.35/89.48 c | 58191 | 1276 1117 15592 | 18987 11338 43 | 0.000 % | 91.85/91.94 c | 87384 | 1276 1117 15592 | 20886 11901 46 | 0.000 % | 94.05/94.14 c =============================================================================== 94.65/94.70 c core #12 94.65/94.70 c ============================[ Search Statistics ]============================== 94.65/94.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.65/94.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.65/94.70 c =============================================================================== 94.65/94.70 c | 0 | 1372 1205 16845 | 5000 0 nan | 0.000 % | 94.65/94.72 c | 100 | 1372 1205 16845 | 5500 100 42 | 0.000 % | 94.65/94.73 c | 250 | 1372 1205 16845 | 6050 250 32 | 0.000 % | 94.65/94.74 c | 475 | 1372 1205 16845 | 6655 475 31 | 0.000 % | 94.65/94.76 c | 813 | 1372 1205 16845 | 7320 813 31 | 0.000 % | 94.65/94.79 c | 1320 | 1372 1205 16845 | 8052 1320 33 | 0.000 % | 94.75/94.83 c | 2079 | 1372 1205 16845 | 8857 2079 32 | 0.000 % | 94.75/94.88 c | 3221 | 1372 1205 16845 | 9743 3221 32 | 0.000 % | 94.84/94.98 c | 4929 | 1372 1205 16845 | 10717 4929 34 | 0.000 % | 95.05/95.15 c | 7491 | 1372 1205 16845 | 11789 7491 34 | 0.000 % | 95.35/95.47 c | 11335 | 1372 1205 16845 | 12968 11335 36 | 0.000 % | 95.85/95.96 c | 17101 | 1372 1205 16845 | 14265 10572 41 | 0.000 % | 96.55/96.66 c | 25750 | 1372 1205 16845 | 15692 12039 41 | 0.000 % | 97.64/97.77 c | 38726 | 1372 1205 16845 | 17261 9215 40 | 0.000 % | 99.35/99.45 c | 58190 | 1372 1205 16845 | 18987 11337 42 | 0.000 % | 102.25/102.35 c | 87385 | 1372 1205 16845 | 20886 11885 46 | 0.000 % | 106.04/106.16 c =============================================================================== 106.74/106.82 c core #13 106.74/106.82 c ============================[ Search Statistics ]============================== 106.74/106.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.74/106.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.74/106.82 c =============================================================================== 106.74/106.82 c | 0 | 1473 1293 18108 | 5000 0 nan | 0.000 % | 106.74/106.85 c | 100 | 1473 1293 18108 | 5500 100 47 | 0.000 % | 106.74/106.86 c | 251 | 1473 1293 18108 | 6050 251 37 | 0.000 % | 106.74/106.87 c | 477 | 1473 1293 18108 | 6655 477 33 | 0.000 % | 106.74/106.88 c | 814 | 1473 1293 18108 | 7320 814 35 | 0.000 % | 106.84/106.91 c | 1321 | 1473 1293 18108 | 8052 1321 34 | 0.000 % | 106.84/106.95 c | 2081 | 1473 1293 18108 | 8857 2081 36 | 0.000 % | 106.94/107.00 c | 3220 | 1473 1293 18108 | 9743 3220 33 | 0.000 % | 107.05/107.10 c | 4928 | 1473 1293 18108 | 10717 4928 34 | 0.000 % | 107.14/107.26 c | 7491 | 1473 1293 18108 | 11789 7491 34 | 0.000 % | 107.44/107.53 c | 11335 | 1473 1293 18108 | 12968 11335 35 | 0.000 % | 107.84/107.99 c | 17101 | 1473 1293 18108 | 14265 10569 36 | 0.000 % | 108.64/108.74 c | 25751 | 1473 1293 18108 | 15692 12043 37 | 0.000 % | 109.75/109.86 c | 38728 | 1473 1293 18108 | 17261 9231 39 | 0.000 % | 111.34/111.44 c | 58189 | 1473 1293 18108 | 18987 11313 45 | 0.000 % | 114.14/114.25 c | 87382 | 1473 1293 18108 | 20886 11767 46 | 0.000 % | 117.14/117.21 c =============================================================================== 117.74/117.80 c core #14 117.74/117.80 c ============================[ Search Statistics ]============================== 117.74/117.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 117.74/117.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 117.74/117.80 c =============================================================================== 117.74/117.80 c | 0 | 1574 1381 19371 | 5000 0 nan | 0.000 % | 117.74/117.83 c | 101 | 1574 1381 19371 | 5500 101 46 | 0.000 % | 117.74/117.83 c | 251 | 1574 1381 19371 | 6050 251 38 | 0.000 % | 117.74/117.84 c | 476 | 1574 1381 19371 | 6655 476 37 | 0.000 % | 117.74/117.86 c | 813 | 1574 1381 19371 | 7320 813 37 | 0.000 % | 117.74/117.89 c | 1319 | 1574 1381 19371 | 8052 1319 35 | 0.000 % | 117.84/117.92 c | 2079 | 1574 1381 19371 | 8857 2079 33 | 0.000 % | 117.84/117.99 c | 3219 | 1574 1381 19371 | 9743 3219 32 | 0.000 % | 117.94/118.10 c | 4927 | 1574 1381 19371 | 10717 4927 33 | 0.000 % | 118.14/118.26 c | 7489 | 1574 1381 19371 | 11789 7489 36 | 0.000 % | 118.44/118.59 c | 11334 | 1574 1381 19371 | 12968 11334 36 | 0.000 % | 118.94/119.09 c | 17101 | 1574 1381 19371 | 14265 10578 38 | 0.000 % | 119.75/119.84 c | 25751 | 1574 1381 19371 | 15692 12051 40 | 0.000 % | 120.94/121.01 c | 38727 | 1574 1381 19371 | 17261 9232 40 | 0.000 % | 122.54/122.64 c | 58188 | 1574 1381 19371 | 18987 11333 44 | 0.000 % | 127.45/127.58 c | 87384 | 1574 1381 19371 | 20886 11558 65 | 0.000 % | 132.24/132.30 c | 131177 | 1574 1381 19371 | 22974 11537 46 | 0.000 % | 146.15/146.21 c | 196861 | 1574 1381 19371 | 25272 18085 66 | 0.000 % | 156.75/156.80 c | 295388 | 1574 1381 19371 | 27799 19073 48 | 0.000 % | 185.75/185.85 c =============================================================================== 187.25/187.33 c core #15 187.25/187.33 c ============================[ Search Statistics ]============================== 187.25/187.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.25/187.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.25/187.33 c =============================================================================== 187.25/187.33 c | 0 | 1682 1469 20648 | 5000 0 nan | 0.000 % | 187.25/187.37 c | 101 | 1682 1469 20648 | 5500 101 58 | 0.000 % | 187.25/187.38 c | 252 | 1682 1469 20648 | 6050 252 48 | 0.000 % | 187.25/187.39 c | 482 | 1682 1469 20648 | 6655 482 42 | 0.000 % | 187.34/187.41 c | 819 | 1682 1469 20648 | 7320 819 35 | 0.000 % | 187.34/187.44 c | 1326 | 1682 1469 20648 | 8052 1326 38 | 0.000 % | 187.34/187.48 c | 2085 | 1682 1469 20648 | 8857 2085 36 | 0.000 % | 187.44/187.55 c | 3224 | 1682 1469 20648 | 9743 3224 34 | 0.000 % | 187.55/187.65 c | 4933 | 1682 1469 20648 | 10717 4933 36 | 0.000 % | 187.74/187.84 c | 7498 | 1682 1469 20648 | 11789 7498 35 | 0.000 % | 188.05/188.16 c | 11342 | 1682 1469 20648 | 12968 11342 37 | 0.000 % | 188.54/188.67 c | 17112 | 1682 1469 20648 | 14265 10580 39 | 0.000 % | 189.35/189.47 c | 25761 | 1682 1469 20648 | 15692 12040 40 | 0.000 % | 190.64/190.71 c | 38735 | 1682 1469 20648 | 17261 9237 39 | 0.000 % | 192.35/192.49 c | 58200 | 1682 1469 20648 | 18987 11341 43 | 0.000 % | 195.24/195.35 c | 87392 | 1682 1469 20648 | 20886 11883 40 | 0.000 % | 199.64/199.72 c | 131181 | 1682 1469 20648 | 22974 13441 56 | 0.002 % | 219.64/219.79 c | 196865 | 1682 1469 20648 | 25272 20420 77 | 0.000 % | 265.74/265.89 c | 295391 | 1682 1469 20648 | 27799 13766 81 | 0.000 % | 331.85/331.99 c | 443185 | 1682 1469 20648 | 30579 26113 82 | 0.000 % | 437.54/437.67 c | 664873 | 1682 1469 20648 | 33637 16124 78 | 0.000 % | 551.65/551.75 c =============================================================================== 558.15/558.23 c core #16 558.15/558.23 c ============================[ Search Statistics ]============================== 558.15/558.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 558.15/558.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 558.15/558.23 c =============================================================================== 558.15/558.23 c | 0 | 1783 1554 21879 | 5000 0 nan | 0.000 % | 558.15/558.29 c | 102 | 1783 1554 21879 | 5500 102 50 | 0.000 % | 558.25/558.30 c | 255 | 1783 1554 21879 | 6050 255 41 | 0.000 % | 558.25/558.32 c | 480 | 1783 1554 21879 | 6655 480 37 | 0.000 % | 558.25/558.35 c | 817 | 1783 1554 21879 | 7320 817 32 | 0.000 % | 558.25/558.38 c | 1323 | 1783 1554 21879 | 8052 1323 31 | 0.000 % | 558.34/558.43 c | 2083 | 1783 1554 21879 | 8857 2083 31 | 0.000 % | 558.44/558.50 c | 3222 | 1783 1554 21879 | 9743 3222 32 | 0.000 % | 558.55/558.61 c | 4932 | 1783 1554 21879 | 10717 4932 32 | 0.000 % | 558.65/558.78 c | 7494 | 1783 1554 21879 | 11789 7494 32 | 0.000 % | 558.95/559.09 c | 11339 | 1783 1554 21879 | 12968 11339 35 | 0.000 % | 559.45/559.58 c | 17105 | 1783 1554 21879 | 14265 10568 37 | 0.000 % | 560.25/560.34 c | 25754 | 1783 1554 21879 | 15692 12048 38 | 0.000 % | 561.55/561.62 c | 38728 | 1783 1554 21879 | 17261 9224 42 | 0.000 % | 563.35/563.43 c | 58191 | 1783 1554 21879 | 18987 11319 44 | 0.000 % | 566.35/566.48 c | 87388 | 1783 1554 21879 | 20886 11893 42 | 0.000 % | 570.85/570.96 c | 131177 | 1783 1554 21879 | 22974 13716 45 | 0.000 % | 572.15/572.29 c =============================================================================== 572.15/572.29 c #cores: 16 572.15/572.29 c Final Weight: 16 572.15/572.29 o 16 572.15/572.29 s OPTIMUM FOUND 572.15/572.29 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 572.15/572.29 c Total CPU time: 566.325 s
OK 16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690090-1277923673/watcher-2690090-1277923673 -o /tmp/evaluation-result-2690090-1277923673/solver-2690090-1277923673 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690090-1277923673.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.81 1.95 1.98 2/197 13863 /proc/meminfo: memFree=31420332/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=2572 CPUtime=0 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 290 0 0 0 0 0 0 0 25 0 1 0 133663640 2633728 205 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13863/statm: 643 206 143 303 0 338 0 [startup+0.063667 s] /proc/loadavg: 1.81 1.95 1.98 2/197 13863 /proc/meminfo: memFree=31420332/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=3232 CPUtime=0.06 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 448 0 0 0 6 0 0 0 25 0 1 0 133663640 3309568 363 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13863/statm: 808 363 143 303 0 503 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3232 [startup+0.100643 s] /proc/loadavg: 1.81 1.95 1.98 2/197 13863 /proc/meminfo: memFree=31420332/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=3496 CPUtime=0.09 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 534 0 0 0 9 0 0 0 25 0 1 0 133663640 3579904 449 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13863/statm: 874 449 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300604 s] /proc/loadavg: 1.81 1.95 1.98 2/197 13863 /proc/meminfo: memFree=31420332/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=5104 CPUtime=0.29 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 914 0 0 0 29 0 0 0 25 0 1 0 133663640 5226496 829 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13863/statm: 1276 829 143 303 0 971 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5104 [startup+0.700494 s] /proc/loadavg: 1.81 1.95 1.98 2/197 13863 /proc/meminfo: memFree=31420332/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=7256 CPUtime=0.69 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 1460 0 0 0 67 2 0 0 25 0 1 0 133663640 7430144 1375 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 1814 1375 143 303 0 1509 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7256 [startup+1.5004 s] /proc/loadavg: 1.81 1.95 1.98 2/198 13866 /proc/meminfo: memFree=31413024/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=11480 CPUtime=1.49 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 2514 0 0 0 144 5 0 0 25 0 1 0 133663640 11755520 2429 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 2870 2429 143 303 0 2565 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11480 [startup+3.10109 s] /proc/loadavg: 1.81 1.95 1.98 4/200 13868 /proc/meminfo: memFree=31406808/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=17160 CPUtime=3.08 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 3930 0 0 0 299 9 0 0 25 0 1 0 133663640 17571840 3845 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13863/statm: 4290 3845 146 303 0 3985 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17160 [startup+6.30055 s] /proc/loadavg: 1.91 1.97 1.99 4/200 13870 /proc/meminfo: memFree=31391180/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=29304 CPUtime=6.28 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 6977 0 0 0 613 15 0 0 25 0 1 0 133663640 30007296 6892 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/13863/statm: 7326 6892 146 303 0 7021 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 29304 [startup+12.7005 s] /proc/loadavg: 2.00 1.99 1.99 2/198 13872 /proc/meminfo: memFree=31364424/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=47140 CPUtime=12.68 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 11444 0 0 0 1240 28 0 0 25 0 1 0 133663640 48271360 11359 4089446400 134512640 135751879 4287202848 18446744073709551615 134517568 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13863/statm: 11785 11359 146 303 0 11480 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47140 [startup+25.5004 s] /proc/loadavg: 2.14 2.02 2.00 3/197 13947 /proc/meminfo: memFree=31506712/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=81696 CPUtime=25.46 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 20072 0 0 0 2493 53 0 0 25 0 1 0 133663640 83656704 19987 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13863/statm: 20424 19987 146 303 0 20119 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 81696 [startup+51.1009 s] /proc/loadavg: 2.09 2.02 2.00 4/197 13947 /proc/meminfo: memFree=31440600/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=142528 CPUtime=51.06 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 35273 0 0 0 4994 112 0 0 25 0 1 0 133663640 145948672 35188 4089446400 134512640 135751879 4287202848 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13863/statm: 35632 35188 146 303 0 35327 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 142528 [startup+102.306 s] /proc/loadavg: 2.04 2.01 2.00 3/197 13995 /proc/meminfo: memFree=31141580/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=251700 CPUtime=102.25 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 62568 0 0 0 9994 231 0 0 25 0 1 0 133663640 257740800 62483 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13863/statm: 62925 62483 146 303 0 62620 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 251700 [startup+162.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 13997 /proc/meminfo: memFree=30959488/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=394080 CPUtime=162.24 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 98143 0 0 0 15881 343 0 0 25 0 1 0 133663640 403537920 98058 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 98520 98058 146 303 0 98215 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 394080 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13997 /proc/meminfo: memFree=30886516/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=455164 CPUtime=222.24 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 113449 0 0 0 21819 405 0 0 25 0 1 0 133663640 466087936 113336 4089446400 134512640 135751879 4287202848 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 113791 113336 146 303 0 113486 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 455164 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13999 /proc/meminfo: memFree=30836756/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=501920 CPUtime=282.25 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 125049 0 0 0 27792 433 0 0 25 0 1 0 133663640 513966080 124936 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 125480 124936 146 303 0 125175 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 501920 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14001 /proc/meminfo: memFree=30766916/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=558944 CPUtime=342.24 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 139279 0 0 0 33764 460 0 0 25 0 1 0 133663640 572358656 139166 4089446400 134512640 135751879 4287202848 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 139736 139166 146 303 0 139431 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 558944 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14003 /proc/meminfo: memFree=30710700/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=615304 CPUtime=402.24 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 153315 0 0 0 39737 487 0 0 25 0 1 0 133663640 630071296 153202 4089446400 134512640 135751879 4287202848 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 153826 153202 146 303 0 153521 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 615304 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14005 /proc/meminfo: memFree=30655848/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=669928 CPUtime=462.25 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 166936 0 0 0 45712 513 0 0 25 0 1 0 133663640 686006272 166823 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 167482 166823 146 303 0 167177 0 Current children cumulated CPU time (s) 462.25 Current children cumulated vsize (KiB) 669928 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14005 /proc/meminfo: memFree=30599504/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=722864 CPUtime=522.24 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 180175 0 0 0 51685 539 0 0 25 0 1 0 133663640 740212736 180062 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 180716 180062 146 303 0 180411 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 722864 Solver just ended. Dumping a history of the last processes samples [startup+537.501 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14007 /proc/meminfo: memFree=30589332/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=732300 CPUtime=537.45 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 182527 0 0 0 53201 544 0 0 25 0 1 0 133663640 749875200 182414 4089446400 134512640 135751879 4287202848 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 183075 182414 146 303 0 182770 0 Current children cumulated CPU time (s) 537.45 Current children cumulated vsize (KiB) 732300 [startup+550.301 s] /proc/loadavg: 2.08 2.02 2.01 3/197 14007 /proc/meminfo: memFree=30571096/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=750868 CPUtime=550.24 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 187172 0 0 0 54468 556 0 0 25 0 1 0 133663640 768888832 187059 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 187717 187059 146 303 0 187412 0 Current children cumulated CPU time (s) 550.24 Current children cumulated vsize (KiB) 750868 [startup+563.101 s] /proc/loadavg: 2.06 2.02 2.00 3/197 14007 /proc/meminfo: memFree=30535252/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=785616 CPUtime=563.05 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 195853 0 0 0 55733 572 0 0 25 0 1 0 133663640 804470784 195740 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 196404 195740 146 303 0 196099 0 Current children cumulated CPU time (s) 563.05 Current children cumulated vsize (KiB) 785616 [startup+566.3 s] /proc/loadavg: 2.06 2.02 2.00 3/197 14007 /proc/meminfo: memFree=30533632/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=785616 CPUtime=566.25 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 195974 0 0 0 56045 580 0 0 25 0 1 0 133663640 804470784 195861 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 196404 195861 146 303 0 196099 0 Current children cumulated CPU time (s) 566.25 Current children cumulated vsize (KiB) 785616 [startup+569.501 s] /proc/loadavg: 2.06 2.01 2.00 3/197 14007 /proc/meminfo: memFree=30532888/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=785616 CPUtime=569.44 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 196077 0 0 0 56357 587 0 0 25 0 1 0 133663640 804470784 195964 4089446400 134512640 135751879 4287202848 18446744073709551615 134611210 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 196404 195964 146 303 0 196099 0 Current children cumulated CPU time (s) 569.44 Current children cumulated vsize (KiB) 785616 [startup+571.1 s] /proc/loadavg: 2.06 2.01 2.00 3/197 14007 /proc/meminfo: memFree=30532888/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=785616 CPUtime=571.05 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 196077 0 0 0 56515 590 0 0 25 0 1 0 133663640 804470784 195964 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 196404 195964 146 303 0 196099 0 Current children cumulated CPU time (s) 571.05 Current children cumulated vsize (KiB) 785616 [startup+571.9 s] /proc/loadavg: 2.06 2.01 2.00 3/197 14007 /proc/meminfo: memFree=30532888/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=785616 CPUtime=571.86 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202496 196078 0 0 0 56594 592 0 0 25 0 1 0 133663640 804470784 195965 4089446400 134512640 135751879 4287202848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13863/statm: 196404 195965 146 303 0 196099 0 Current children cumulated CPU time (s) 571.86 Current children cumulated vsize (KiB) 785616 [startup+572.3 s] /proc/loadavg: 2.06 2.01 2.00 3/197 14007 /proc/meminfo: memFree=30532888/32950928 swapFree=67111528/67111528 [pid=13863] ppid=13861 vsize=0 CPUtime=572.25 /proc/13863/stat : 13863 (wbo1.4a) R 13861 13863 12818 0 -1 4202500 196079 0 0 0 56632 593 0 0 25 0 1 0 133663640 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0 /proc/13863/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 572.25 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 572.321 CPU time (s): 572.276 CPU user time (s): 566.325 CPU system time (s): 5.9511 CPU usage (%): 99.9921 Max. virtual memory (cumulated for all children) (KiB): 785616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 566.325 system time used= 5.95109 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 196079 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= 10 involuntary context switches= 1946 runsolver used 0.874867 second user time and 1.76573 second system time The end
Begin job on node126 at 2010-06-30 20:47:53 IDJOB=2690090 IDBENCH=79214 IDSOLVER=1200 FILE ID=node126/2690090-1277923673 PBS_JOBID= 11197344 Free space on /tmp= 74192 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690090-1277923673/watcher-2690090-1277923673 -o /tmp/evaluation-result-2690090-1277923673/solver-2690090-1277923673 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690090-1277923673.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e433b9b816c291c8bf4fd4860d096bb6 RANDOM SEED=1491348728 node126.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31420604 kB Buffers: 204392 kB Cached: 923004 kB SwapCached: 0 kB Active: 720776 kB Inactive: 665824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31420604 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3380 kB Writeback: 0 kB AnonPages: 259540 kB Mapped: 20396 kB Slab: 78980 kB PageTables: 5336 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1653984 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74188 MiB End job on node126 at 2010-06-30 20:57:25