Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 127.251 | 127.253 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-66-100-0.wbo |
MD5SUM | 8ce95ac0fdbf9f0573ae217524496b3b |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 0.245961 |
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 | 42 |
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 | 1838 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 1837 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1222 |
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-2689907-1277898209.wbo. 0.00/0.00 c Instance file HOME/instance-2689907-1277898209.wbo 0.00/0.00 c File size is 10173 bytes. 0.00/0.00 c Highest Coefficient sum: 1222 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 | 100 | 169 101 1205 | 5500 100 33 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 28 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 31 | 0.004 % | 0.00/0.02 c | 815 | 169 101 1205 | 7320 815 30 | 0.004 % | 0.00/0.03 c | 1321 | 169 101 1205 | 8052 1321 30 | 0.004 % | 0.00/0.05 c | 2082 | 169 101 1205 | 8857 2082 32 | 0.004 % | 0.00/0.09 c | 3224 | 169 101 1205 | 9743 3224 33 | 0.004 % | 0.09/0.15 c | 4934 | 169 101 1205 | 10717 4934 36 | 0.004 % | 0.19/0.27 c | 7499 | 169 101 1205 | 11789 7499 38 | 0.004 % | 0.39/0.49 c | 11344 | 169 101 1205 | 12968 11344 40 | 0.004 % | 0.79/0.87 c | 17112 | 169 101 1205 | 14265 10587 45 | 0.004 % | 1.39/1.48 c | 25762 | 169 101 1205 | 15692 12054 47 | 0.004 % | 2.39/2.44 c | 38737 | 169 101 1205 | 17261 9223 45 | 0.004 % | 3.89/3.93 c | 58200 | 169 101 1205 | 18987 11314 50 | 0.004 % | 4.79/4.80 c =============================================================================== 4.99/5.05 c core #1 4.99/5.05 c ============================[ Search Statistics ]============================== 4.99/5.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.05 c =============================================================================== 4.99/5.05 c | 0 | 210 141 1710 | 5000 0 nan | 0.000 % | 4.99/5.06 c | 100 | 210 141 1710 | 5500 100 33 | 0.002 % | 4.99/5.06 c | 250 | 210 141 1710 | 6050 250 33 | 0.002 % | 4.99/5.07 c | 475 | 210 141 1710 | 6655 475 34 | 0.002 % | 4.99/5.08 c | 813 | 210 141 1710 | 7320 813 33 | 0.002 % | 4.99/5.09 c | 1319 | 210 141 1710 | 8052 1319 34 | 0.002 % | 5.09/5.11 c | 2080 | 210 141 1710 | 8857 2080 34 | 0.002 % | 5.09/5.15 c | 3219 | 210 141 1710 | 9743 3219 33 | 0.002 % | 5.19/5.22 c | 4927 | 210 141 1710 | 10717 4927 33 | 0.002 % | 5.29/5.34 c | 7491 | 210 141 1710 | 11789 7491 34 | 0.002 % | 5.49/5.56 c | 11337 | 210 141 1710 | 12968 11337 36 | 0.002 % | 5.90/5.96 c | 17103 | 210 141 1710 | 14265 10573 41 | 0.002 % | 6.49/6.51 c | 25752 | 210 141 1710 | 15692 12027 44 | 0.002 % | 7.39/7.41 c | 38726 | 210 141 1710 | 17261 9182 44 | 0.002 % | 8.90/8.97 c | 58188 | 210 141 1710 | 18987 11290 49 | 0.002 % | 11.10/11.19 c =============================================================================== 11.49/11.51 c core #2 11.49/11.51 c ============================[ Search Statistics ]============================== 11.49/11.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.51 c =============================================================================== 11.49/11.51 c | 0 | 249 181 2201 | 5000 0 nan | 0.000 % | 11.49/11.52 c | 100 | 249 181 2201 | 5500 100 34 | 0.002 % | 11.49/11.53 c | 252 | 249 181 2201 | 6050 252 32 | 0.002 % | 11.49/11.53 c | 477 | 249 181 2201 | 6655 477 33 | 0.002 % | 11.49/11.54 c | 814 | 249 181 2201 | 7320 814 32 | 0.002 % | 11.49/11.56 c | 1321 | 249 181 2201 | 8052 1321 32 | 0.002 % | 11.49/11.58 c | 2082 | 249 181 2201 | 8857 2082 34 | 0.002 % | 11.59/11.63 c | 3225 | 249 181 2201 | 9743 3225 34 | 0.002 % | 11.69/11.70 c | 4933 | 249 181 2201 | 10717 4933 36 | 0.002 % | 11.80/11.83 c | 7496 | 249 181 2201 | 11789 7496 39 | 0.002 % | 12.00/12.07 c | 11341 | 249 181 2201 | 12968 11341 41 | 0.002 % | 12.40/12.45 c | 17107 | 249 181 2201 | 14265 10592 45 | 0.002 % | 12.99/13.08 c | 25757 | 249 181 2201 | 15692 12051 50 | 0.002 % | 14.09/14.10 c | 38731 | 249 181 2201 | 17261 9216 46 | 0.002 % | 15.59/15.66 c | 58193 | 249 181 2201 | 18987 11298 48 | 0.002 % | 17.99/18.04 c | 87385 | 204 181 2201 | 20886 4277 48 | 18.074 % | 18.19/18.29 c =============================================================================== 18.60/18.65 c core #3 18.60/18.65 c ============================[ Search Statistics ]============================== 18.60/18.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.60/18.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.60/18.65 c =============================================================================== 18.60/18.65 c | 0 | 289 221 2694 | 5000 0 nan | 0.000 % | 18.60/18.66 c | 100 | 289 221 2694 | 5500 100 39 | 0.001 % | 18.60/18.67 c | 250 | 289 221 2694 | 6050 250 36 | 0.001 % | 18.60/18.67 c | 477 | 289 221 2694 | 6655 477 36 | 0.001 % | 18.60/18.68 c | 814 | 289 221 2694 | 7320 814 36 | 0.001 % | 18.60/18.70 c | 1321 | 289 221 2694 | 8052 1321 37 | 0.001 % | 18.70/18.73 c | 2080 | 289 221 2694 | 8857 2080 36 | 0.001 % | 18.70/18.77 c | 3221 | 289 221 2694 | 9743 3221 35 | 0.001 % | 18.79/18.84 c | 4929 | 289 221 2694 | 10717 4929 35 | 0.001 % | 18.90/18.96 c | 7492 | 289 221 2694 | 11789 7492 38 | 0.001 % | 19.19/19.21 c | 11336 | 289 221 2694 | 12968 11336 39 | 0.001 % | 19.59/19.60 c | 17102 | 289 221 2694 | 14265 10574 41 | 0.001 % | 20.19/20.22 c | 25753 | 289 221 2694 | 15692 12038 43 | 0.001 % | 21.09/21.17 c | 38727 | 289 221 2694 | 17261 9212 45 | 0.001 % | 22.49/22.53 c | 58188 | 289 221 2694 | 18987 11312 50 | 0.001 % | 23.99/24.07 c =============================================================================== 24.30/24.37 c core #4 24.30/24.37 c ============================[ Search Statistics ]============================== 24.30/24.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.30/24.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.30/24.37 c =============================================================================== 24.30/24.37 c | 0 | 327 259 3173 | 5000 0 nan | 0.000 % | 24.30/24.37 c | 102 | 327 259 3173 | 5500 102 33 | 0.001 % | 24.30/24.38 c | 252 | 327 259 3173 | 6050 252 27 | 0.001 % | 24.30/24.39 c | 477 | 327 259 3173 | 6655 477 30 | 0.001 % | 24.39/24.40 c | 814 | 327 259 3173 | 7320 814 32 | 0.001 % | 24.39/24.41 c | 1321 | 327 259 3173 | 8052 1321 34 | 0.001 % | 24.39/24.44 c | 2083 | 327 259 3173 | 8857 2083 33 | 0.001 % | 24.39/24.48 c | 3223 | 327 259 3173 | 9743 3223 34 | 0.001 % | 24.49/24.56 c | 4933 | 327 259 3173 | 10717 4933 34 | 0.001 % | 24.60/24.68 c | 7496 | 327 259 3173 | 11789 7496 35 | 0.001 % | 24.89/24.91 c | 11340 | 327 259 3173 | 12968 11340 37 | 0.001 % | 25.30/25.30 c | 17107 | 327 259 3173 | 14265 10566 41 | 0.001 % | 25.79/25.87 c | 25756 | 327 259 3173 | 15692 12051 44 | 0.001 % | 26.79/26.86 c | 38730 | 327 259 3173 | 17261 9225 44 | 0.001 % | 28.29/28.37 c | 58191 | 327 259 3173 | 18987 11318 48 | 0.001 % | 29.99/30.00 c =============================================================================== 30.29/30.31 c core #5 30.29/30.31 c ============================[ Search Statistics ]============================== 30.29/30.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.29/30.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.29/30.31 c =============================================================================== 30.29/30.31 c | 0 | 374 301 3704 | 5000 0 nan | 0.000 % | 30.29/30.32 c | 100 | 374 301 3704 | 5500 100 34 | 0.001 % | 30.29/30.32 c | 251 | 374 301 3704 | 6050 251 30 | 0.001 % | 30.29/30.33 c | 476 | 374 301 3704 | 6655 476 30 | 0.001 % | 30.29/30.34 c | 813 | 374 301 3704 | 7320 813 30 | 0.001 % | 30.29/30.35 c | 1320 | 374 301 3704 | 8052 1320 32 | 0.001 % | 30.29/30.38 c | 2081 | 374 301 3704 | 8857 2081 33 | 0.001 % | 30.39/30.42 c | 3221 | 374 301 3704 | 9743 3221 35 | 0.001 % | 30.39/30.49 c | 4930 | 374 301 3704 | 10717 4930 36 | 0.001 % | 30.59/30.62 c | 7492 | 374 301 3704 | 11789 7492 37 | 0.001 % | 30.80/30.86 c | 11337 | 374 301 3704 | 12968 11337 38 | 0.001 % | 31.19/31.22 c | 17107 | 374 301 3704 | 14265 10577 41 | 0.001 % | 31.79/31.81 c | 25757 | 374 301 3704 | 15692 12051 43 | 0.001 % | 32.69/32.78 c | 38731 | 374 301 3704 | 17261 9221 46 | 0.001 % | 34.10/34.18 c | 58193 | 374 301 3704 | 18987 11305 46 | 0.001 % | 34.89/34.99 c =============================================================================== 35.20/35.27 c core #6 35.20/35.27 c ============================[ Search Statistics ]============================== 35.20/35.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.20/35.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.20/35.27 c =============================================================================== 35.20/35.27 c | 0 | 419 341 4211 | 5000 0 nan | 0.000 % | 35.20/35.28 c | 100 | 419 341 4211 | 5500 100 40 | 0.001 % | 35.20/35.29 c | 250 | 419 341 4211 | 6050 250 36 | 0.001 % | 35.20/35.29 c | 475 | 419 341 4211 | 6655 475 36 | 0.001 % | 35.30/35.30 c | 816 | 419 341 4211 | 7320 816 34 | 0.001 % | 35.30/35.32 c | 1324 | 419 341 4211 | 8052 1324 34 | 0.001 % | 35.30/35.35 c | 2086 | 419 341 4211 | 8857 2086 33 | 0.001 % | 35.30/35.39 c | 3225 | 419 341 4211 | 9743 3225 33 | 0.001 % | 35.39/35.46 c | 4933 | 419 341 4211 | 10717 4933 36 | 0.001 % | 35.49/35.59 c | 7496 | 419 341 4211 | 11789 7496 36 | 0.001 % | 35.79/35.83 c | 11342 | 419 341 4211 | 12968 11342 38 | 0.001 % | 36.09/36.19 c | 17108 | 419 341 4211 | 14265 10580 41 | 0.001 % | 36.79/36.83 c | 25757 | 419 341 4211 | 15692 12046 43 | 0.001 % | 37.69/37.76 c | 38736 | 419 341 4211 | 17261 9241 46 | 0.001 % | 39.19/39.28 c | 58198 | 419 341 4211 | 18987 11321 49 | 0.001 % | 40.99/41.08 c =============================================================================== 41.39/41.40 c core #7 41.39/41.40 c ============================[ Search Statistics ]============================== 41.39/41.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.39/41.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.39/41.40 c =============================================================================== 41.39/41.40 c | 0 | 469 383 4756 | 5000 0 nan | 0.000 % | 41.39/41.42 c | 101 | 469 383 4756 | 5500 101 33 | 0.000 % | 41.39/41.42 c | 251 | 469 383 4756 | 6050 251 30 | 0.000 % | 41.39/41.43 c | 477 | 469 383 4756 | 6655 477 31 | 0.000 % | 41.39/41.44 c | 814 | 469 383 4756 | 7320 814 32 | 0.000 % | 41.39/41.45 c | 1320 | 469 383 4756 | 8052 1320 33 | 0.000 % | 41.39/41.48 c | 2079 | 469 383 4756 | 8857 2079 33 | 0.000 % | 41.50/41.52 c | 3219 | 469 383 4756 | 9743 3219 36 | 0.000 % | 41.50/41.59 c | 4928 | 469 383 4756 | 10717 4928 36 | 0.000 % | 41.69/41.72 c | 7490 | 469 383 4756 | 11789 7490 38 | 0.000 % | 41.89/41.98 c | 11334 | 469 383 4756 | 12968 11334 41 | 0.000 % | 42.30/42.35 c | 17101 | 469 383 4756 | 14265 10558 44 | 0.000 % | 42.89/42.94 c | 25752 | 469 383 4756 | 15692 12020 43 | 0.000 % | 43.90/43.96 c | 38727 | 469 383 4756 | 17261 9199 46 | 0.000 % | 45.39/45.49 c | 58190 | 469 383 4756 | 18987 11269 47 | 0.000 % | 47.89/47.92 c | 87383 | 469 383 4756 | 20886 11807 49 | 0.000 % | 48.89/48.95 c =============================================================================== 49.29/49.36 c core #8 49.29/49.36 c ============================[ Search Statistics ]============================== 49.29/49.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.29/49.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.29/49.36 c =============================================================================== 49.29/49.36 c | 0 | 508 420 5231 | 5000 0 nan | 0.000 % | 49.29/49.37 c | 102 | 508 420 5231 | 5500 102 38 | 0.000 % | 49.29/49.38 c | 254 | 508 420 5231 | 6050 254 36 | 0.000 % | 49.29/49.38 c | 479 | 508 420 5231 | 6655 479 35 | 0.000 % | 49.29/49.39 c | 816 | 508 420 5231 | 7320 816 37 | 0.000 % | 49.39/49.41 c | 1323 | 508 420 5231 | 8052 1323 37 | 0.000 % | 49.39/49.43 c | 2082 | 508 420 5231 | 8857 2082 35 | 0.000 % | 49.39/49.48 c | 3221 | 508 420 5231 | 9743 3221 34 | 0.000 % | 49.49/49.56 c | 4930 | 508 420 5231 | 10717 4930 35 | 0.000 % | 49.69/49.70 c | 7494 | 508 420 5231 | 11789 7494 36 | 0.000 % | 49.90/49.95 c | 11338 | 508 420 5231 | 12968 11338 37 | 0.000 % | 50.30/50.36 c | 17104 | 508 420 5231 | 14265 10559 41 | 0.000 % | 50.99/51.02 c | 25753 | 508 420 5231 | 15692 12024 46 | 0.000 % | 51.99/52.01 c | 38728 | 508 420 5231 | 17261 9211 43 | 0.000 % | 53.50/53.50 c | 58189 | 508 420 5231 | 18987 11311 44 | 0.000 % | 55.69/55.77 c =============================================================================== 56.10/56.13 c core #9 56.10/56.13 c ============================[ Search Statistics ]============================== 56.10/56.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.10/56.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.10/56.13 c =============================================================================== 56.10/56.13 c | 0 | 566 461 5774 | 5000 0 nan | 0.000 % | 56.10/56.14 c | 100 | 566 461 5774 | 5500 100 40 | 0.000 % | 56.10/56.15 c | 250 | 566 461 5774 | 6050 250 34 | 0.000 % | 56.10/56.16 c | 476 | 566 461 5774 | 6655 476 32 | 0.000 % | 56.10/56.17 c | 813 | 566 461 5774 | 7320 813 31 | 0.000 % | 56.10/56.18 c | 1319 | 566 461 5774 | 8052 1319 32 | 0.000 % | 56.20/56.21 c | 2078 | 566 461 5774 | 8857 2078 34 | 0.000 % | 56.20/56.26 c | 3220 | 566 461 5774 | 9743 3220 35 | 0.000 % | 56.29/56.33 c | 4929 | 566 461 5774 | 10717 4929 35 | 0.000 % | 56.39/56.46 c | 7491 | 566 461 5774 | 11789 7491 35 | 0.000 % | 56.69/56.71 c | 11338 | 566 461 5774 | 12968 11338 37 | 0.000 % | 57.09/57.12 c | 17104 | 566 461 5774 | 14265 10584 40 | 0.000 % | 57.69/57.72 c | 25755 | 566 461 5774 | 15692 12054 42 | 0.000 % | 58.59/58.66 c | 38731 | 566 461 5774 | 17261 9230 41 | 0.000 % | 59.99/60.09 c | 58193 | 566 461 5774 | 18987 11316 44 | 0.000 % | 62.40/62.45 c | 87387 | 566 461 5774 | 20886 11887 49 | 0.000 % | 65.29/65.40 c =============================================================================== 65.79/65.88 c core #10 65.79/65.88 c ============================[ Search Statistics ]============================== 65.79/65.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.79/65.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.79/65.88 c =============================================================================== 65.79/65.88 c | 0 | 642 502 6377 | 5000 0 nan | 0.000 % | 65.89/65.90 c | 102 | 642 502 6377 | 5500 102 48 | 0.000 % | 65.89/65.91 c | 252 | 642 502 6377 | 6050 252 42 | 0.000 % | 65.89/65.91 c | 477 | 642 502 6377 | 6655 477 37 | 0.000 % | 65.89/65.93 c | 815 | 642 502 6377 | 7320 815 35 | 0.000 % | 65.89/65.94 c | 1321 | 642 502 6377 | 8052 1321 36 | 0.000 % | 65.89/65.97 c | 2081 | 642 502 6377 | 8857 2081 34 | 0.000 % | 66.00/66.01 c | 3221 | 642 502 6377 | 9743 3221 35 | 0.000 % | 66.00/66.08 c | 4930 | 642 502 6377 | 10717 4930 35 | 0.000 % | 66.20/66.23 c | 7493 | 642 502 6377 | 11789 7493 35 | 0.000 % | 66.39/66.46 c | 11338 | 642 502 6377 | 12968 11338 37 | 0.000 % | 66.79/66.84 c | 17106 | 642 502 6377 | 14265 10578 44 | 0.000 % | 67.40/67.46 c | 25756 | 642 502 6377 | 15692 12041 45 | 0.000 % | 68.29/68.38 c | 38731 | 642 502 6377 | 17261 9246 48 | 0.000 % | 69.79/69.88 c | 58192 | 642 502 6377 | 18987 11329 49 | 0.000 % | 72.20/72.20 c | 87384 | 642 502 6377 | 20886 11863 47 | 0.000 % | 73.39/73.43 c =============================================================================== 73.80/73.84 c core #11 73.80/73.84 c ============================[ Search Statistics ]============================== 73.80/73.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 73.80/73.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 73.80/73.84 c =============================================================================== 73.80/73.84 c | 0 | 698 539 6893 | 5000 0 nan | 0.000 % | 73.80/73.85 c | 100 | 698 539 6893 | 5500 100 36 | 0.000 % | 73.80/73.86 c | 250 | 698 539 6893 | 6050 250 31 | 0.000 % | 73.80/73.86 c | 476 | 698 539 6893 | 6655 476 31 | 0.000 % | 73.80/73.88 c | 814 | 698 539 6893 | 7320 814 30 | 0.000 % | 73.80/73.89 c | 1321 | 698 539 6893 | 8052 1321 32 | 0.000 % | 73.89/73.92 c | 2080 | 698 539 6893 | 8857 2080 34 | 0.000 % | 73.89/73.96 c | 3220 | 698 539 6893 | 9743 3220 36 | 0.000 % | 73.99/74.04 c | 4929 | 698 539 6893 | 10717 4929 39 | 0.000 % | 74.09/74.18 c | 7491 | 698 539 6893 | 11789 7491 39 | 0.000 % | 74.39/74.41 c | 11336 | 698 539 6893 | 12968 11336 38 | 0.000 % | 74.69/74.78 c | 17102 | 698 539 6893 | 14265 10574 41 | 0.000 % | 75.29/75.38 c | 25751 | 698 539 6893 | 15692 12025 46 | 0.000 % | 76.29/76.34 c | 38729 | 698 539 6893 | 17261 9211 48 | 0.000 % | 77.70/77.77 c | 58191 | 698 539 6893 | 18987 11308 46 | 0.000 % | 80.19/80.20 c | 87385 | 698 539 6893 | 20886 11845 51 | 0.000 % | 82.79/82.87 c =============================================================================== 83.29/83.36 c core #12 83.29/83.36 c ============================[ Search Statistics ]============================== 83.29/83.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.29/83.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.29/83.36 c =============================================================================== 83.29/83.36 c | 0 | 756 575 7398 | 5000 0 nan | 0.000 % | 83.29/83.37 c | 100 | 756 575 7398 | 5500 100 38 | 0.000 % | 83.29/83.38 c | 251 | 756 575 7398 | 6050 251 38 | 0.000 % | 83.29/83.39 c | 476 | 756 575 7398 | 6655 476 40 | 0.000 % | 83.39/83.40 c | 813 | 756 575 7398 | 7320 813 36 | 0.000 % | 83.39/83.42 c | 1319 | 756 575 7398 | 8052 1319 38 | 0.000 % | 83.39/83.45 c | 2078 | 756 575 7398 | 8857 2078 37 | 0.000 % | 83.39/83.49 c | 3217 | 756 575 7398 | 9743 3217 36 | 0.000 % | 83.50/83.57 c | 4925 | 756 575 7398 | 10717 4925 35 | 0.000 % | 83.70/83.72 c | 7488 | 756 575 7398 | 11789 7488 36 | 0.000 % | 83.89/83.97 c | 11333 | 756 575 7398 | 12968 11333 38 | 0.000 % | 84.29/84.39 c | 17100 | 756 575 7398 | 14265 10559 43 | 0.000 % | 84.99/85.02 c | 25750 | 756 575 7398 | 15692 12013 46 | 0.000 % | 85.99/86.01 c | 38726 | 756 575 7398 | 17261 9203 44 | 0.000 % | 87.60/87.60 c | 58187 | 756 575 7398 | 18987 11299 46 | 0.000 % | 89.99/90.00 c | 87379 | 756 575 7398 | 20886 11835 49 | 0.000 % | 92.99/93.07 c =============================================================================== 93.50/93.60 c core #13 93.50/93.60 c ============================[ Search Statistics ]============================== 93.50/93.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.50/93.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.50/93.60 c =============================================================================== 93.50/93.60 c | 0 | 811 609 7882 | 5000 0 nan | 0.000 % | 93.60/93.62 c | 100 | 811 609 7882 | 5500 100 44 | 0.000 % | 93.60/93.62 c | 250 | 811 609 7882 | 6050 250 39 | 0.000 % | 93.60/93.63 c | 475 | 811 609 7882 | 6655 475 33 | 0.000 % | 93.60/93.64 c | 814 | 811 609 7882 | 7320 814 33 | 0.000 % | 93.60/93.66 c | 1320 | 811 609 7882 | 8052 1320 34 | 0.000 % | 93.60/93.69 c | 2080 | 811 609 7882 | 8857 2080 33 | 0.000 % | 93.70/93.74 c | 3220 | 811 609 7882 | 9743 3220 35 | 0.000 % | 93.79/93.82 c | 4929 | 811 609 7882 | 10717 4929 34 | 0.000 % | 93.89/93.95 c | 7492 | 811 609 7882 | 11789 7492 35 | 0.000 % | 94.10/94.19 c | 11338 | 811 609 7882 | 12968 11338 36 | 0.000 % | 94.60/94.62 c | 17106 | 811 609 7882 | 14265 10566 39 | 0.000 % | 95.18/95.23 c | 25759 | 811 609 7882 | 15692 12029 44 | 0.000 % | 96.29/96.34 c | 38733 | 811 609 7882 | 17261 9206 49 | 0.000 % | 97.89/97.92 c | 58194 | 811 609 7882 | 18987 11308 47 | 0.000 % | 100.29/100.38 c | 87386 | 811 609 7882 | 20886 11875 49 | 0.000 % | 102.78/102.84 c =============================================================================== 103.29/103.32 c core #14 103.29/103.32 c ============================[ Search Statistics ]============================== 103.29/103.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.29/103.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.29/103.32 c =============================================================================== 103.29/103.32 c | 0 | 901 644 8429 | 5000 0 nan | 0.000 % | 103.29/103.34 c | 100 | 901 644 8429 | 5500 100 41 | 0.000 % | 103.29/103.35 c | 250 | 901 644 8429 | 6050 250 36 | 0.000 % | 103.29/103.36 c | 478 | 901 644 8429 | 6655 478 40 | 0.000 % | 103.29/103.37 c | 815 | 901 644 8429 | 7320 815 36 | 0.000 % | 103.29/103.39 c | 1321 | 901 644 8429 | 8052 1321 37 | 0.000 % | 103.40/103.41 c | 2080 | 901 644 8429 | 8857 2080 36 | 0.000 % | 103.40/103.46 c | 3220 | 901 644 8429 | 9743 3220 35 | 0.000 % | 103.49/103.55 c | 4929 | 901 644 8429 | 10717 4929 37 | 0.000 % | 103.59/103.68 c | 7495 | 901 644 8429 | 11789 7495 38 | 0.000 % | 103.89/103.93 c | 11341 | 901 644 8429 | 12968 11341 38 | 0.000 % | 104.29/104.31 c | 17107 | 901 644 8429 | 14265 10562 42 | 0.000 % | 104.78/104.87 c | 25756 | 901 644 8429 | 15692 12033 44 | 0.000 % | 105.78/105.82 c | 38731 | 901 644 8429 | 17261 9189 45 | 0.000 % | 107.19/107.27 c | 58192 | 901 644 8429 | 18987 11127 37 | 0.000 % | 109.29/109.37 c | 87384 | 901 644 8429 | 20886 11658 50 | 0.000 % | 110.98/111.00 c =============================================================================== 111.39/111.45 c core #15 111.39/111.45 c ============================[ Search Statistics ]============================== 111.39/111.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 111.39/111.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 111.39/111.45 c =============================================================================== 111.39/111.45 c | 0 | 997 677 8974 | 5000 0 nan | 0.000 % | 111.39/111.47 c | 100 | 997 677 8974 | 5500 100 39 | 0.000 % | 111.39/111.48 c | 250 | 997 677 8974 | 6050 250 37 | 0.000 % | 111.39/111.48 c | 478 | 997 677 8974 | 6655 478 35 | 0.000 % | 111.39/111.49 c | 815 | 997 677 8974 | 7320 815 33 | 0.000 % | 111.49/111.51 c | 1322 | 997 677 8974 | 8052 1322 34 | 0.000 % | 111.49/111.54 c | 2081 | 997 677 8974 | 8857 2081 36 | 0.000 % | 111.49/111.59 c | 3224 | 997 677 8974 | 9743 3224 35 | 0.000 % | 111.58/111.68 c | 4932 | 997 677 8974 | 10717 4932 37 | 0.000 % | 111.79/111.81 c | 7495 | 997 677 8974 | 11789 7495 38 | 0.000 % | 111.99/112.06 c | 11339 | 997 677 8974 | 12968 11339 39 | 0.000 % | 112.39/112.42 c | 17105 | 997 677 8974 | 14265 10564 40 | 0.000 % | 112.89/112.99 c | 25755 | 997 677 8974 | 15692 12029 43 | 0.000 % | 113.99/114.06 c | 38729 | 997 677 8974 | 17261 9209 44 | 0.000 % | 116.19/116.23 c | 58191 | 997 677 8974 | 18987 11196 41 | 0.000 % | 118.39/118.42 c | 87386 | 997 677 8974 | 20886 11745 45 | 0.000 % | 120.48/120.53 c =============================================================================== 120.99/121.03 c core #16 120.99/121.03 c ============================[ Search Statistics ]============================== 120.99/121.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 120.99/121.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 120.99/121.03 c =============================================================================== 120.99/121.03 c | 0 | 1077 707 9457 | 5000 0 nan | 0.000 % | 120.99/121.05 c | 100 | 1077 707 9457 | 5500 100 46 | 0.000 % | 120.99/121.06 c | 250 | 1077 707 9457 | 6050 250 37 | 0.000 % | 120.99/121.07 c | 475 | 1077 707 9457 | 6655 475 36 | 0.000 % | 120.99/121.08 c | 813 | 1077 707 9457 | 7320 813 36 | 0.000 % | 120.99/121.10 c | 1321 | 1077 707 9457 | 8052 1321 34 | 0.000 % | 121.10/121.13 c | 2082 | 1077 707 9457 | 8857 2082 35 | 0.000 % | 121.10/121.18 c | 3221 | 1077 707 9457 | 9743 3221 36 | 0.000 % | 121.18/121.26 c | 4929 | 1077 707 9457 | 10717 4929 37 | 0.000 % | 121.39/121.41 c | 7492 | 1077 707 9457 | 11789 7492 37 | 0.000 % | 121.59/121.64 c | 11336 | 1077 707 9457 | 12968 11336 37 | 0.000 % | 121.98/122.04 c | 17103 | 1077 707 9457 | 14265 10562 42 | 0.000 % | 122.59/122.62 c | 25754 | 1077 707 9457 | 15692 12021 43 | 0.000 % | 123.89/123.92 c | 38728 | 1077 707 9457 | 17261 9032 44 | 0.000 % | 125.39/125.43 c | 58189 | 1077 707 9457 | 18987 11000 52 | 0.000 % | 127.19/127.24 c =============================================================================== 127.19/127.24 c #cores: 16 127.19/127.24 c Final Weight: 22 127.19/127.24 o 22 127.19/127.24 s OPTIMUM FOUND 127.19/127.24 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 127.19/127.24 c Total CPU time: 123.876 s
OK 22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689907-1277898209/watcher-2689907-1277898209 -o /tmp/evaluation-result-2689907-1277898209/solver-2689907-1277898209 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689907-1277898209.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: 2.02 2.04 2.01 3/182 12612 /proc/meminfo: memFree=31296540/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=2568 CPUtime=0 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 285 0 0 0 0 0 0 0 21 0 1 0 131117044 2629632 200 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12612/statm: 642 200 143 303 0 337 0 [startup+0.104955 s] /proc/loadavg: 2.02 2.04 2.01 3/182 12612 /proc/meminfo: memFree=31296540/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=3360 CPUtime=0.09 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 499 0 0 0 9 0 0 0 21 0 1 0 131117044 3440640 414 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12612/statm: 840 414 143 303 0 535 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3360 [startup+0.200934 s] /proc/loadavg: 2.02 2.04 2.01 3/182 12612 /proc/meminfo: memFree=31296540/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=4152 CPUtime=0.19 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 677 0 0 0 18 1 0 0 21 0 1 0 131117044 4251648 592 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12612/statm: 1038 592 143 303 0 733 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4152 [startup+0.30093 s] /proc/loadavg: 2.02 2.04 2.01 3/182 12612 /proc/meminfo: memFree=31296540/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=4680 CPUtime=0.29 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 826 0 0 0 27 2 0 0 21 0 1 0 131117044 4792320 741 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12612/statm: 1170 742 143 303 0 865 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4680 [startup+0.700841 s] /proc/loadavg: 2.02 2.04 2.01 3/182 12612 /proc/meminfo: memFree=31296540/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=6708 CPUtime=0.69 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 1316 0 0 0 66 3 0 0 22 0 1 0 131117044 6868992 1231 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12612/statm: 1677 1231 143 303 0 1372 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6708 [startup+1.50071 s] /proc/loadavg: 2.02 2.04 2.01 3/183 12613 /proc/meminfo: memFree=31289836/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=10272 CPUtime=1.49 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 2218 0 0 0 144 5 0 0 18 0 1 0 131117044 10518528 2133 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12612/statm: 2568 2133 143 303 0 2263 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10272 [startup+3.10041 s] /proc/loadavg: 2.02 2.04 2.01 3/183 12613 /proc/meminfo: memFree=31285184/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=17136 CPUtime=3.09 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 3919 0 0 0 300 9 0 0 20 0 1 0 131117044 17547264 3834 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12612/statm: 4284 3834 143 303 0 3979 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17136 [startup+6.30082 s] /proc/loadavg: 2.02 2.04 2.01 3/183 12613 /proc/meminfo: memFree=31273272/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=25556 CPUtime=6.29 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 6052 0 0 0 612 17 0 0 25 0 1 0 131117044 26169344 5967 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12612/statm: 6389 5967 146 303 0 6084 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25556 [startup+12.7007 s] /proc/loadavg: 2.01 2.04 2.00 3/183 12613 /proc/meminfo: memFree=31254308/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=44772 CPUtime=12.69 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 10829 0 0 0 1233 36 0 0 25 0 1 0 131117044 45846528 10744 4089446400 134512640 135751879 4292678832 18446744073709551615 134616414 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12612/statm: 11193 10744 146 303 0 10888 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44772 [startup+25.5003 s] /proc/loadavg: 2.01 2.04 2.00 3/183 12614 /proc/meminfo: memFree=31220916/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=78632 CPUtime=25.49 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 19290 0 0 0 2479 70 0 0 25 0 1 0 131117044 80519168 19205 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12612/statm: 19658 19205 146 303 0 19353 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78632 [startup+51.1007 s] /proc/loadavg: 2.01 2.03 2.00 3/183 12614 /proc/meminfo: memFree=31152284/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=147284 CPUtime=51.09 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 36483 0 0 0 4972 137 0 0 18 0 1 0 131117044 150818816 36398 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12612/statm: 36821 36398 146 303 0 36516 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 147284 [startup+102.3 s] /proc/loadavg: 2.00 2.03 2.00 3/183 12616 /proc/meminfo: memFree=31015824/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=283604 CPUtime=102.29 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 70540 0 0 0 9960 269 0 0 25 0 1 0 131117044 290410496 70455 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12612/statm: 70901 70455 146 303 0 70596 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 283604 Solver just ended. Dumping a history of the last processes samples [startup+102.406 s] /proc/loadavg: 2.00 2.03 2.00 3/183 12616 /proc/meminfo: memFree=31015824/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=284132 CPUtime=102.39 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 70675 0 0 0 9970 269 0 0 25 0 1 0 131117044 290951168 70590 4089446400 134512640 135751879 4292678832 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12612/statm: 71033 70590 146 303 0 70728 0 Current children cumulated CPU time (s) 102.39 Current children cumulated vsize (KiB) 284132 [startup+115.201 s] /proc/loadavg: 2.00 2.02 2.00 3/183 12616 /proc/meminfo: memFree=30986180/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=314632 CPUtime=115.19 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 78303 0 0 0 11216 303 0 0 25 0 1 0 131117044 322183168 78218 4089446400 134512640 135751879 4292678832 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12612/statm: 78658 78218 146 303 0 78353 0 Current children cumulated CPU time (s) 115.19 Current children cumulated vsize (KiB) 314632 [startup+121.601 s] /proc/loadavg: 2.00 2.02 2.00 3/183 12616 /proc/meminfo: memFree=30964596/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=334436 CPUtime=121.59 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 83260 0 0 0 11837 322 0 0 25 0 1 0 131117044 342462464 83175 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12612/statm: 83609 83175 146 303 0 83304 0 Current children cumulated CPU time (s) 121.59 Current children cumulated vsize (KiB) 334436 [startup+124.8 s] /proc/loadavg: 2.00 2.02 2.00 3/183 12616 /proc/meminfo: memFree=30962356/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=338268 CPUtime=124.79 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 84213 0 0 0 12149 330 0 0 25 0 1 0 131117044 346386432 84128 4089446400 134512640 135751879 4292678832 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12612/statm: 84567 84128 146 303 0 84262 0 Current children cumulated CPU time (s) 124.79 Current children cumulated vsize (KiB) 338268 [startup+126.401 s] /proc/loadavg: 2.00 2.02 2.00 3/183 12616 /proc/meminfo: memFree=30959256/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=342548 CPUtime=126.39 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 85291 0 0 0 12306 333 0 0 25 0 1 0 131117044 350769152 85206 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12612/statm: 85637 85206 146 303 0 85332 0 Current children cumulated CPU time (s) 126.39 Current children cumulated vsize (KiB) 342548 [startup+126.801 s] /proc/loadavg: 2.00 2.02 2.00 3/183 12616 /proc/meminfo: memFree=30956156/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=343744 CPUtime=126.78 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 85575 0 0 0 12344 334 0 0 25 0 1 0 131117044 351993856 85490 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12612/statm: 85936 85490 146 303 0 85631 0 Current children cumulated CPU time (s) 126.78 Current children cumulated vsize (KiB) 343744 [startup+127.201 s] /proc/loadavg: 2.00 2.02 2.00 3/183 12616 /proc/meminfo: memFree=30956156/32951124 swapFree=67111528/67111528 [pid=12612] ppid=12610 vsize=344804 CPUtime=127.19 /proc/12612/stat : 12612 (wbo1.4a) R 12610 12612 12532 0 -1 4202496 85852 0 0 0 12383 336 0 0 25 0 1 0 131117044 353079296 85767 4089446400 134512640 135751879 4292678832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12612/statm: 86201 85767 146 303 0 85896 0 Current children cumulated CPU time (s) 127.19 Current children cumulated vsize (KiB) 344804 Child status: 0 Real time (s): 127.253 CPU time (s): 127.251 CPU user time (s): 123.876 CPU system time (s): 3.37449 CPU usage (%): 99.9978 Max. virtual memory (cumulated for all children) (KiB): 344804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 123.876 system time used= 3.37449 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 85884 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= 8 involuntary context switches= 301 runsolver used 0.211967 second user time and 0.436933 second system time The end
Begin job on node134 at 2010-06-30 13:43:29 IDJOB=2689907 IDBENCH=78829 IDSOLVER=1200 FILE ID=node134/2689907-1277898209 PBS_JOBID= 11197195 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217555--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689907-1277898209/watcher-2689907-1277898209 -o /tmp/evaluation-result-2689907-1277898209/solver-2689907-1277898209 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689907-1277898209.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8ce95ac0fdbf9f0573ae217524496b3b RANDOM SEED=1456850982 node134.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.818 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.63 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.818 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.75 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.818 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.818 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 : 7397.66 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.818 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.67 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.818 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.84 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.818 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.74 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.818 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31297192 kB Buffers: 183240 kB Cached: 1092264 kB SwapCached: 0 kB Active: 826404 kB Inactive: 684212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31297192 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3160 kB Writeback: 0 kB AnonPages: 235268 kB Mapped: 16300 kB Slab: 79148 kB PageTables: 5692 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 382204 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node134 at 2010-06-30 13:45:36