Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.11 | 1800.07 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-0-100-0.wbo |
MD5SUM | 2498aa7c72321a79724f3337e23f532a |
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 | 17 |
Best CPU time to get the best result obtained on this benchmark | 0.171973 |
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 | 1227 |
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-2690060-1277923147.wbo. 0.00/0.00 c Instance file HOME/instance-2690060-1277923147.wbo 0.00/0.00 c File size is 10454 bytes. 0.00/0.00 c Highest Coefficient sum: 1227 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 30 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 31 | 0.004 % | 0.00/0.01 c | 475 | 169 101 1205 | 6655 475 35 | 0.004 % | 0.00/0.02 c | 814 | 169 101 1205 | 7320 814 33 | 0.004 % | 0.00/0.03 c | 1322 | 169 101 1205 | 8052 1322 33 | 0.004 % | 0.00/0.05 c | 2081 | 169 101 1205 | 8857 2081 33 | 0.004 % | 0.07/0.09 c | 3222 | 169 101 1205 | 9743 3222 33 | 0.004 % | 0.09/0.16 c | 4930 | 169 101 1205 | 10717 4930 34 | 0.004 % | 0.19/0.27 c | 7494 | 169 101 1205 | 11789 7494 35 | 0.004 % | 0.39/0.49 c | 11340 | 169 101 1205 | 12968 11340 38 | 0.004 % | 0.79/0.84 c | 17106 | 169 101 1205 | 14265 10581 40 | 0.004 % | 1.39/1.40 c | 25755 | 169 101 1205 | 15692 12067 41 | 0.004 % | 2.19/2.22 c | 38729 | 169 101 1205 | 17261 9253 45 | 0.004 % | 3.39/3.40 c =============================================================================== 3.59/3.63 c core #1 3.59/3.63 c ============================[ Search Statistics ]============================== 3.59/3.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.63 c =============================================================================== 3.59/3.63 c | 0 | 264 200 2566 | 5000 0 nan | 0.000 % | 3.59/3.64 c | 100 | 264 200 2566 | 5500 100 32 | 0.001 % | 3.59/3.64 c | 250 | 264 200 2566 | 6050 250 36 | 0.001 % | 3.59/3.65 c | 477 | 264 200 2566 | 6655 477 33 | 0.001 % | 3.59/3.66 c | 814 | 264 200 2566 | 7320 814 35 | 0.001 % | 3.59/3.67 c | 1324 | 264 200 2566 | 8052 1324 35 | 0.001 % | 3.69/3.70 c | 2084 | 264 200 2566 | 8857 2084 36 | 0.001 % | 3.69/3.74 c | 3223 | 264 200 2566 | 9743 3223 35 | 0.001 % | 3.79/3.82 c | 4932 | 264 200 2566 | 10717 4932 35 | 0.001 % | 3.89/3.96 c | 7495 | 264 200 2566 | 11789 7495 36 | 0.001 % | 4.20/4.21 c | 11347 | 264 200 2566 | 12968 11347 37 | 0.001 % | 4.59/4.60 c | 17116 | 264 200 2566 | 14265 10586 39 | 0.001 % | 5.19/5.22 c | 25765 | 264 200 2566 | 15692 12052 42 | 0.001 % | 6.09/6.15 c | 38739 | 264 200 2566 | 17261 9227 42 | 0.001 % | 7.59/7.62 c | 58201 | 264 200 2566 | 18987 11347 44 | 0.001 % | 8.39/8.45 c =============================================================================== 8.70/8.78 c core #2 8.70/8.78 c ============================[ Search Statistics ]============================== 8.70/8.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.70/8.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.70/8.78 c =============================================================================== 8.70/8.78 c | 0 | 358 298 3915 | 5000 0 nan | 0.000 % | 8.70/8.79 c | 102 | 358 298 3915 | 5500 102 30 | 0.001 % | 8.70/8.79 c | 255 | 358 298 3915 | 6050 255 27 | 0.001 % | 8.70/8.80 c | 480 | 358 298 3915 | 6655 480 27 | 0.001 % | 8.80/8.81 c | 818 | 358 298 3915 | 7320 818 28 | 0.001 % | 8.80/8.82 c | 1325 | 358 298 3915 | 8052 1325 28 | 0.001 % | 8.80/8.85 c | 2084 | 358 298 3915 | 8857 2084 29 | 0.001 % | 8.89/8.90 c | 3223 | 358 298 3915 | 9743 3223 31 | 0.001 % | 8.89/8.97 c | 4932 | 358 298 3915 | 10717 4932 33 | 0.001 % | 9.09/9.10 c | 7494 | 358 298 3915 | 11789 7494 35 | 0.001 % | 9.29/9.35 c | 11338 | 358 298 3915 | 12968 11338 37 | 0.001 % | 9.69/9.76 c | 17104 | 358 298 3915 | 14265 10571 41 | 0.001 % | 10.29/10.36 c | 25754 | 358 298 3915 | 15692 12046 39 | 0.001 % | 11.29/11.39 c | 38728 | 358 298 3915 | 17261 9216 43 | 0.001 % | 12.79/12.86 c | 58190 | 358 298 3915 | 18987 11296 43 | 0.001 % | 14.89/14.97 c | 87383 | 358 298 3915 | 20886 11813 45 | 0.001 % | 15.40/15.42 c =============================================================================== 15.79/15.86 c core #3 15.79/15.86 c ============================[ Search Statistics ]============================== 15.79/15.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.79/15.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.79/15.86 c =============================================================================== 15.79/15.86 c | 0 | 453 395 5254 | 5000 0 nan | 0.000 % | 15.79/15.87 c | 101 | 453 395 5254 | 5500 101 27 | 0.000 % | 15.79/15.88 c | 251 | 453 395 5254 | 6050 251 34 | 0.000 % | 15.79/15.89 c | 480 | 453 395 5254 | 6655 480 34 | 0.000 % | 15.89/15.90 c | 817 | 453 395 5254 | 7320 817 35 | 0.000 % | 15.89/15.92 c | 1323 | 453 395 5254 | 8052 1323 36 | 0.000 % | 15.89/15.94 c | 2085 | 453 395 5254 | 8857 2085 35 | 0.000 % | 15.89/15.99 c | 3224 | 453 395 5254 | 9743 3224 34 | 0.000 % | 15.99/16.07 c | 4934 | 453 395 5254 | 10717 4934 35 | 0.000 % | 16.19/16.21 c | 7496 | 453 395 5254 | 11789 7496 37 | 0.000 % | 16.40/16.45 c | 11340 | 453 395 5254 | 12968 11340 37 | 0.000 % | 16.79/16.86 c | 17107 | 453 395 5254 | 14265 10577 38 | 0.000 % | 17.39/17.42 c | 25756 | 453 395 5254 | 15692 12043 41 | 0.000 % | 18.29/18.33 c | 38733 | 453 395 5254 | 17261 9222 41 | 0.000 % | 19.69/19.73 c | 58194 | 453 395 5254 | 18987 11308 43 | 0.000 % | 21.40/21.46 c =============================================================================== 21.79/21.82 c core #4 21.79/21.82 c ============================[ Search Statistics ]============================== 21.79/21.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.79/21.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.79/21.82 c =============================================================================== 21.79/21.82 c | 0 | 551 489 6569 | 5000 0 nan | 0.000 % | 21.79/21.83 c | 100 | 551 489 6569 | 5500 100 36 | 0.000 % | 21.79/21.83 c | 251 | 551 489 6569 | 6050 251 38 | 0.000 % | 21.79/21.84 c | 477 | 551 489 6569 | 6655 477 39 | 0.000 % | 21.79/21.85 c | 814 | 551 489 6569 | 7320 814 38 | 0.000 % | 21.79/21.87 c | 1320 | 551 489 6569 | 8052 1320 34 | 0.000 % | 21.90/21.90 c | 2081 | 551 489 6569 | 8857 2081 35 | 0.000 % | 21.90/21.95 c | 3221 | 551 489 6569 | 9743 3221 34 | 0.000 % | 21.99/22.04 c | 4930 | 551 489 6569 | 10717 4930 36 | 0.000 % | 22.09/22.18 c | 7494 | 551 489 6569 | 11789 7494 36 | 0.000 % | 22.39/22.45 c | 11338 | 551 489 6569 | 12968 11338 36 | 0.000 % | 22.79/22.85 c | 17104 | 551 489 6569 | 14265 10558 37 | 0.000 % | 23.39/23.49 c | 25753 | 551 489 6569 | 15692 11988 40 | 0.000 % | 24.39/24.44 c | 38727 | 551 489 6569 | 17261 9191 43 | 0.000 % | 25.99/26.08 c | 58190 | 551 489 6569 | 18987 11293 42 | 0.000 % | 28.29/28.30 c | 87385 | 551 489 6569 | 20886 11853 43 | 0.000 % | 30.49/30.53 c =============================================================================== 30.99/31.06 c core #5 30.99/31.06 c ============================[ Search Statistics ]============================== 30.99/31.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.99/31.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.99/31.06 c =============================================================================== 30.99/31.06 c | 0 | 656 582 7896 | 5000 0 nan | 0.000 % | 30.99/31.08 c | 100 | 656 582 7896 | 5500 100 27 | 0.000 % | 30.99/31.08 c | 250 | 656 582 7896 | 6050 250 24 | 0.000 % | 30.99/31.09 c | 476 | 656 582 7896 | 6655 476 26 | 0.000 % | 31.09/31.10 c | 813 | 656 582 7896 | 7320 813 28 | 0.000 % | 31.09/31.12 c | 1319 | 656 582 7896 | 8052 1319 28 | 0.000 % | 31.09/31.15 c | 2083 | 656 582 7896 | 8857 2083 29 | 0.000 % | 31.20/31.20 c | 3224 | 656 582 7896 | 9743 3224 32 | 0.000 % | 31.20/31.28 c | 4932 | 656 582 7896 | 10717 4932 31 | 0.000 % | 31.39/31.43 c | 7494 | 656 582 7896 | 11789 7494 34 | 0.000 % | 31.59/31.68 c | 11339 | 656 582 7896 | 12968 11339 36 | 0.000 % | 32.09/32.10 c | 17105 | 656 582 7896 | 14265 10571 39 | 0.000 % | 32.69/32.72 c | 25761 | 656 582 7896 | 15692 12043 42 | 0.000 % | 33.59/33.68 c | 38735 | 656 582 7896 | 17261 9203 40 | 0.000 % | 35.09/35.18 c | 58202 | 656 582 7896 | 18987 11312 41 | 0.000 % | 37.29/37.38 c | 87394 | 656 582 7896 | 20886 11865 42 | 0.000 % | 38.40/38.47 c =============================================================================== 38.89/38.95 c core #6 38.89/38.95 c ============================[ Search Statistics ]============================== 38.89/38.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.89/38.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.89/38.95 c =============================================================================== 38.89/38.95 c | 0 | 745 673 9164 | 5000 0 nan | 0.000 % | 38.89/38.97 c | 100 | 745 673 9164 | 5500 100 30 | 0.000 % | 38.89/38.97 c | 250 | 745 673 9164 | 6050 250 25 | 0.000 % | 38.89/38.98 c | 476 | 745 673 9164 | 6655 476 30 | 0.000 % | 39.00/39.00 c | 814 | 745 673 9164 | 7320 814 35 | 0.000 % | 39.00/39.01 c | 1320 | 745 673 9164 | 8052 1320 33 | 0.000 % | 39.00/39.05 c | 2079 | 745 673 9164 | 8857 2079 32 | 0.000 % | 39.09/39.10 c | 3218 | 745 673 9164 | 9743 3218 32 | 0.000 % | 39.09/39.19 c | 4926 | 745 673 9164 | 10717 4926 33 | 0.000 % | 39.29/39.34 c | 7489 | 745 673 9164 | 11789 7489 35 | 0.000 % | 39.60/39.62 c | 11334 | 745 673 9164 | 12968 11334 36 | 0.000 % | 39.99/40.06 c | 17101 | 745 673 9164 | 14265 10569 39 | 0.000 % | 40.59/40.67 c | 25751 | 745 673 9164 | 15692 12034 40 | 0.000 % | 41.70/41.71 c | 38725 | 745 673 9164 | 17261 9218 43 | 0.000 % | 43.19/43.28 c | 58189 | 745 673 9164 | 18987 11332 42 | 0.000 % | 45.49/45.58 c | 87381 | 745 673 9164 | 20886 11879 40 | 0.000 % | 47.09/47.12 c =============================================================================== 47.59/47.64 c core #7 47.59/47.64 c ============================[ Search Statistics ]============================== 47.59/47.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.59/47.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.59/47.64 c =============================================================================== 47.59/47.64 c | 0 | 851 763 10468 | 5000 0 nan | 0.000 % | 47.59/47.65 c | 100 | 851 763 10468 | 5500 100 40 | 0.000 % | 47.59/47.66 c | 252 | 851 763 10468 | 6050 252 45 | 0.000 % | 47.59/47.67 c | 477 | 851 763 10468 | 6655 477 39 | 0.000 % | 47.59/47.68 c | 816 | 851 763 10468 | 7320 816 34 | 0.000 % | 47.70/47.70 c | 1322 | 851 763 10468 | 8052 1322 34 | 0.000 % | 47.70/47.74 c | 2081 | 851 763 10468 | 8857 2081 34 | 0.000 % | 47.70/47.79 c | 3221 | 851 763 10468 | 9743 3221 35 | 0.000 % | 47.79/47.89 c | 4930 | 851 763 10468 | 10717 4930 34 | 0.000 % | 47.99/48.05 c | 7492 | 851 763 10468 | 11789 7492 33 | 0.000 % | 48.30/48.32 c | 11338 | 851 763 10468 | 12968 11338 33 | 0.000 % | 48.59/48.69 c | 17106 | 851 763 10468 | 14265 10571 35 | 0.000 % | 49.29/49.35 c | 25757 | 851 763 10468 | 15692 12039 38 | 0.000 % | 50.30/50.35 c | 38731 | 851 763 10468 | 17261 9221 39 | 0.000 % | 51.80/51.86 c | 58192 | 851 763 10468 | 18987 11318 39 | 0.000 % | 54.09/54.11 c | 87384 | 851 763 10468 | 20886 11855 43 | 0.000 % | 55.40/55.40 c =============================================================================== 55.79/55.87 c core #8 55.79/55.87 c ============================[ Search Statistics ]============================== 55.79/55.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.79/55.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.79/55.87 c =============================================================================== 55.79/55.87 c | 0 | 943 852 11729 | 5000 0 nan | 0.000 % | 55.79/55.89 c | 101 | 943 852 11729 | 5500 101 38 | 0.000 % | 55.79/55.89 c | 253 | 943 852 11729 | 6050 253 33 | 0.000 % | 55.89/55.90 c | 478 | 943 852 11729 | 6655 478 32 | 0.000 % | 55.89/55.92 c | 816 | 943 852 11729 | 7320 816 33 | 0.000 % | 55.89/55.94 c | 1322 | 943 852 11729 | 8052 1322 31 | 0.000 % | 55.89/55.97 c | 2081 | 943 852 11729 | 8857 2081 33 | 0.000 % | 56.00/56.02 c | 3221 | 943 852 11729 | 9743 3221 34 | 0.000 % | 56.10/56.12 c | 4930 | 943 852 11729 | 10717 4930 35 | 0.000 % | 56.20/56.29 c | 7494 | 943 852 11729 | 11789 7494 36 | 0.000 % | 56.50/56.59 c | 11338 | 943 852 11729 | 12968 11338 37 | 0.000 % | 56.99/57.03 c | 17104 | 943 852 11729 | 14265 10578 38 | 0.000 % | 57.59/57.67 c | 25755 | 943 852 11729 | 15692 12044 38 | 0.000 % | 58.70/58.70 c | 38729 | 943 852 11729 | 17261 9232 40 | 0.000 % | 60.20/60.22 c | 58192 | 943 852 11729 | 18987 11355 40 | 0.000 % | 62.60/62.65 c | 87386 | 943 852 11729 | 20886 11916 42 | 0.000 % | 64.10/64.17 c =============================================================================== 64.59/64.67 c core #9 64.59/64.67 c ============================[ Search Statistics ]============================== 64.59/64.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.59/64.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.59/64.67 c =============================================================================== 64.59/64.67 c | 0 | 1054 941 13026 | 5000 0 nan | 0.000 % | 64.59/64.68 c | 100 | 1054 941 13026 | 5500 100 35 | 0.000 % | 64.59/64.69 c | 251 | 1054 941 13026 | 6050 251 31 | 0.000 % | 64.69/64.70 c | 477 | 1054 941 13026 | 6655 477 33 | 0.000 % | 64.69/64.71 c | 816 | 1054 941 13026 | 7320 816 33 | 0.000 % | 64.69/64.73 c | 1322 | 1054 941 13026 | 8052 1322 38 | 0.000 % | 64.69/64.77 c | 2082 | 1054 941 13026 | 8857 2082 35 | 0.000 % | 64.79/64.82 c | 3221 | 1054 941 13026 | 9743 3221 34 | 0.000 % | 64.89/64.92 c | 4931 | 1054 941 13026 | 10717 4931 35 | 0.000 % | 65.00/65.08 c | 7494 | 1054 941 13026 | 11789 7494 35 | 0.000 % | 65.29/65.37 c | 11339 | 1054 941 13026 | 12968 11339 35 | 0.000 % | 65.69/65.78 c | 17106 | 1054 941 13026 | 14265 10565 36 | 0.000 % | 66.40/66.48 c | 25756 | 1054 941 13026 | 15692 12026 38 | 0.000 % | 67.50/67.54 c | 38731 | 1054 941 13026 | 17261 9202 40 | 0.000 % | 69.19/69.24 c | 58192 | 1054 941 13026 | 18987 11288 43 | 0.000 % | 71.59/71.65 c | 87384 | 1054 941 13026 | 20886 11847 40 | 0.000 % | 74.19/74.22 c =============================================================================== 74.69/74.76 c core #10 74.69/74.76 c ============================[ Search Statistics ]============================== 74.69/74.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 74.69/74.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 74.69/74.76 c =============================================================================== 74.69/74.76 c | 0 | 1147 1029 14273 | 5000 0 nan | 0.000 % | 74.69/74.78 c | 100 | 1147 1029 14273 | 5500 100 33 | 0.000 % | 74.69/74.78 c | 250 | 1147 1029 14273 | 6050 250 39 | 0.000 % | 74.69/74.79 c | 475 | 1147 1029 14273 | 6655 475 34 | 0.000 % | 74.80/74.81 c | 813 | 1147 1029 14273 | 7320 813 30 | 0.000 % | 74.80/74.83 c | 1321 | 1147 1029 14273 | 8052 1321 29 | 0.000 % | 74.80/74.86 c | 2080 | 1147 1029 14273 | 8857 2080 29 | 0.000 % | 74.89/74.91 c | 3219 | 1147 1029 14273 | 9743 3219 30 | 0.000 % | 74.99/75.00 c | 4927 | 1147 1029 14273 | 10717 4927 30 | 0.000 % | 75.09/75.16 c | 7491 | 1147 1029 14273 | 11789 7491 32 | 0.000 % | 75.39/75.45 c | 11336 | 1147 1029 14273 | 12968 11336 34 | 0.000 % | 75.80/75.88 c | 17103 | 1147 1029 14273 | 14265 10557 39 | 0.000 % | 76.59/76.64 c | 25752 | 1147 1029 14273 | 15692 12032 41 | 0.000 % | 77.60/77.68 c | 38727 | 1147 1029 14273 | 17261 9244 37 | 0.000 % | 79.29/79.33 c | 58190 | 1147 1029 14273 | 18987 11346 42 | 0.000 % | 81.79/81.88 c | 87386 | 1147 1029 14273 | 20886 11916 42 | 0.000 % | 83.79/83.89 c =============================================================================== 84.39/84.42 c core #11 84.39/84.42 c ============================[ Search Statistics ]============================== 84.39/84.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.39/84.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.39/84.42 c =============================================================================== 84.39/84.42 c | 0 | 1264 1117 15569 | 5000 0 nan | 0.000 % | 84.39/84.44 c | 100 | 1264 1117 15569 | 5500 100 40 | 0.000 % | 84.39/84.45 c | 250 | 1264 1117 15569 | 6050 250 45 | 0.000 % | 84.39/84.46 c | 476 | 1264 1117 15569 | 6655 476 39 | 0.000 % | 84.39/84.47 c | 813 | 1264 1117 15569 | 7320 813 33 | 0.000 % | 84.39/84.49 c | 1320 | 1264 1117 15569 | 8052 1320 31 | 0.000 % | 84.49/84.53 c | 2079 | 1264 1117 15569 | 8857 2079 33 | 0.000 % | 84.49/84.58 c | 3219 | 1264 1117 15569 | 9743 3219 34 | 0.000 % | 84.59/84.68 c | 4929 | 1264 1117 15569 | 10717 4929 34 | 0.000 % | 84.79/84.86 c | 7493 | 1264 1117 15569 | 11789 7493 35 | 0.000 % | 85.10/85.16 c | 11337 | 1264 1117 15569 | 12968 11337 37 | 0.000 % | 85.50/85.58 c | 17104 | 1264 1117 15569 | 14265 10568 39 | 0.000 % | 86.20/86.25 c | 25754 | 1264 1117 15569 | 15692 12040 37 | 0.000 % | 87.30/87.30 c | 38730 | 1264 1117 15569 | 17261 9219 41 | 0.000 % | 88.80/88.82 c | 58191 | 1264 1117 15569 | 18987 11330 41 | 0.000 % | 91.29/91.37 c | 87385 | 1264 1117 15569 | 20886 11909 40 | 0.000 % | 94.69/94.79 c =============================================================================== 95.29/95.39 c core #12 95.29/95.39 c ============================[ Search Statistics ]============================== 95.29/95.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.29/95.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.29/95.39 c =============================================================================== 95.29/95.39 c | 0 | 1368 1205 16838 | 5000 0 nan | 0.000 % | 95.40/95.41 c | 102 | 1368 1205 16838 | 5500 102 44 | 0.000 % | 95.40/95.42 c | 254 | 1368 1205 16838 | 6050 254 39 | 0.000 % | 95.40/95.43 c | 480 | 1368 1205 16838 | 6655 480 34 | 0.000 % | 95.40/95.44 c | 819 | 1368 1205 16838 | 7320 819 33 | 0.000 % | 95.40/95.46 c | 1325 | 1368 1205 16838 | 8052 1325 32 | 0.000 % | 95.40/95.50 c | 2085 | 1368 1205 16838 | 8857 2085 33 | 0.000 % | 95.49/95.55 c | 3224 | 1368 1205 16838 | 9743 3224 33 | 0.000 % | 95.60/95.65 c | 4933 | 1368 1205 16838 | 10717 4933 34 | 0.000 % | 95.79/95.81 c | 7495 | 1368 1205 16838 | 11789 7495 34 | 0.000 % | 95.99/96.07 c | 11340 | 1368 1205 16838 | 12968 11340 36 | 0.000 % | 96.40/96.47 c | 17108 | 1368 1205 16838 | 14265 10575 36 | 0.000 % | 97.19/97.24 c | 25757 | 1368 1205 16838 | 15692 12048 41 | 0.000 % | 98.39/98.42 c | 38733 | 1368 1205 16838 | 17261 9236 41 | 0.000 % | 99.89/99.98 c | 58194 | 1368 1205 16838 | 18987 11349 39 | 0.000 % | 102.50/102.53 c | 87386 | 1368 1205 16838 | 20886 11928 42 | 0.000 % | 106.10/106.12 c | 131176 | 1317 1205 16838 | 22974 10761 40 | 3.728 % | 106.19/106.29 c =============================================================================== 106.90/106.93 c core #13 106.90/106.93 c ============================[ Search Statistics ]============================== 106.90/106.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.90/106.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.90/106.93 c =============================================================================== 106.90/106.93 c | 0 | 1480 1293 18123 | 5000 0 nan | 0.000 % | 106.90/106.95 c | 100 | 1480 1293 18123 | 5500 100 38 | 0.000 % | 106.90/106.96 c | 251 | 1480 1293 18123 | 6050 251 42 | 0.000 % | 106.90/106.97 c | 476 | 1480 1293 18123 | 6655 476 39 | 0.000 % | 106.90/106.99 c | 816 | 1480 1293 18123 | 7320 816 35 | 0.000 % | 106.99/107.01 c | 1322 | 1480 1293 18123 | 8052 1322 31 | 0.000 % | 106.99/107.05 c | 2081 | 1480 1293 18123 | 8857 2081 32 | 0.000 % | 107.09/107.11 c | 3220 | 1480 1293 18123 | 9743 3220 34 | 0.000 % | 107.20/107.21 c | 4928 | 1480 1293 18123 | 10717 4928 36 | 0.000 % | 107.39/107.40 c | 7491 | 1480 1293 18123 | 11789 7491 35 | 0.000 % | 107.70/107.72 c | 11337 | 1480 1293 18123 | 12968 11337 36 | 0.000 % | 108.19/108.20 c | 17103 | 1480 1293 18123 | 14265 10571 38 | 0.000 % | 109.00/109.02 c | 25752 | 1480 1293 18123 | 15692 12036 40 | 0.000 % | 110.19/110.22 c | 38728 | 1480 1293 18123 | 17261 9222 36 | 0.000 % | 111.79/111.86 c | 58189 | 1480 1293 18123 | 18987 11315 43 | 0.000 % | 114.49/114.55 c | 87381 | 1480 1293 18123 | 20886 11771 40 | 0.000 % | 115.99/116.02 c =============================================================================== 116.50/116.54 c core #14 116.50/116.54 c ============================[ Search Statistics ]============================== 116.50/116.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 116.50/116.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 116.50/116.54 c =============================================================================== 116.50/116.54 c | 0 | 1592 1381 19408 | 5000 0 nan | 0.000 % | 116.50/116.56 c | 100 | 1592 1381 19408 | 5500 100 29 | 0.000 % | 116.50/116.57 c | 250 | 1592 1381 19408 | 6050 250 37 | 0.000 % | 116.50/116.58 c | 477 | 1592 1381 19408 | 6655 477 31 | 0.000 % | 116.50/116.59 c | 815 | 1592 1381 19408 | 7320 815 30 | 0.000 % | 116.60/116.62 c | 1321 | 1592 1381 19408 | 8052 1321 31 | 0.000 % | 116.60/116.65 c | 2081 | 1592 1381 19408 | 8857 2081 28 | 0.000 % | 116.70/116.71 c | 3220 | 1592 1381 19408 | 9743 3220 30 | 0.000 % | 116.79/116.81 c | 4929 | 1592 1381 19408 | 10717 4929 30 | 0.000 % | 116.90/116.97 c | 7491 | 1592 1381 19408 | 11789 7491 33 | 0.000 % | 117.19/117.27 c | 11336 | 1592 1381 19408 | 12968 11336 33 | 0.000 % | 117.70/117.76 c | 17106 | 1592 1381 19408 | 14265 10574 36 | 0.000 % | 118.40/118.45 c | 25760 | 1592 1381 19408 | 15692 12046 37 | 0.000 % | 119.49/119.59 c | 38735 | 1592 1381 19408 | 17261 9233 39 | 0.000 % | 121.40/121.43 c | 58197 | 1592 1381 19408 | 18987 11321 41 | 0.000 % | 124.09/124.17 c | 87393 | 1592 1381 19408 | 20886 11885 39 | 0.000 % | 129.70/129.73 c | 131183 | 1592 1381 19408 | 22974 12257 54 | 0.000 % | 143.09/143.16 c | 196868 | 1592 1381 19408 | 25272 19575 69 | 0.002 % | 156.20/156.28 c =============================================================================== 157.20/157.30 c core #15 157.20/157.30 c ============================[ Search Statistics ]============================== 157.20/157.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 157.20/157.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 157.20/157.30 c =============================================================================== 157.20/157.30 c | 0 | 1704 1469 20693 | 5000 0 nan | 0.000 % | 157.30/157.33 c | 100 | 1704 1469 20693 | 5500 100 46 | 0.000 % | 157.30/157.34 c | 251 | 1704 1469 20693 | 6050 251 38 | 0.000 % | 157.30/157.35 c | 477 | 1704 1469 20693 | 6655 477 33 | 0.000 % | 157.30/157.36 c | 814 | 1704 1469 20693 | 7320 814 31 | 0.000 % | 157.30/157.39 c | 1321 | 1704 1469 20693 | 8052 1321 31 | 0.000 % | 157.39/157.43 c | 2082 | 1704 1469 20693 | 8857 2082 32 | 0.000 % | 157.39/157.49 c | 3224 | 1704 1469 20693 | 9743 3224 32 | 0.000 % | 157.50/157.59 c | 4933 | 1704 1469 20693 | 10717 4933 31 | 0.000 % | 157.69/157.76 c | 7495 | 1704 1469 20693 | 11789 7495 31 | 0.000 % | 158.00/158.06 c | 11340 | 1704 1469 20693 | 12968 11340 34 | 0.000 % | 158.50/158.56 c | 17106 | 1704 1469 20693 | 14265 10565 39 | 0.000 % | 159.30/159.33 c | 25755 | 1704 1469 20693 | 15692 12027 41 | 0.000 % | 160.50/160.53 c | 38729 | 1704 1469 20693 | 17261 9205 41 | 0.000 % | 162.29/162.34 c | 58192 | 1704 1469 20693 | 18987 11290 40 | 0.000 % | 165.20/165.27 c | 87384 | 1704 1469 20693 | 20886 11849 41 | 0.000 % | 171.10/171.18 c | 131174 | 1704 1469 20693 | 22974 13042 46 | 0.000 % | 178.79/178.89 c | 196859 | 1704 1469 20693 | 25272 19511 55 | 0.000 % | 203.80/203.87 c | 295387 | 1684 1469 20693 | 27799 18010 77 | 1.174 % | 263.30/263.37 c | 443177 | 1684 1469 20693 | 30579 25597 79 | 1.174 % | 352.50/352.56 c | 664860 | 1684 1469 20693 | 33637 17920 75 | 1.174 % | 432.10/432.16 c =============================================================================== 436.61/436.69 c core #16 436.61/436.69 c ============================[ Search Statistics ]============================== 436.61/436.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 436.61/436.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 436.61/436.69 c =============================================================================== 436.61/436.69 c | 0 | 1816 1554 21946 | 5000 0 nan | 0.000 % | 436.71/436.75 c | 100 | 1816 1554 21946 | 5500 100 47 | 0.000 % | 436.71/436.76 c | 250 | 1816 1554 21946 | 6050 250 41 | 0.000 % | 436.71/436.77 c | 476 | 1816 1554 21946 | 6655 476 33 | 0.000 % | 436.71/436.79 c | 813 | 1816 1554 21946 | 7320 813 36 | 0.000 % | 436.80/436.85 c | 1322 | 1816 1554 21946 | 8052 1322 34 | 0.000 % | 436.90/436.90 c | 2081 | 1816 1554 21946 | 8857 2081 33 | 0.000 % | 436.90/436.97 c | 3221 | 1816 1554 21946 | 9743 3221 32 | 0.000 % | 437.00/437.08 c | 4931 | 1816 1554 21946 | 10717 4931 32 | 0.000 % | 437.20/437.26 c | 7493 | 1816 1554 21946 | 11789 7493 33 | 0.000 % | 437.50/437.56 c | 11337 | 1816 1554 21946 | 12968 11337 35 | 0.000 % | 438.00/438.05 c | 17103 | 1816 1554 21946 | 14265 10567 36 | 0.000 % | 438.80/438.86 c | 25752 | 1816 1554 21946 | 15692 12043 37 | 0.000 % | 440.01/440.07 c | 38727 | 1816 1554 21946 | 17261 9217 36 | 0.000 % | 441.90/441.90 c | 58189 | 1816 1554 21946 | 18987 11308 39 | 0.000 % | 444.91/444.94 c | 87383 | 1816 1554 21946 | 20886 11897 40 | 0.000 % | 454.81/454.89 c | 131173 | 1816 1554 21946 | 22974 13359 73 | 0.000 % | 461.20/461.24 c | 196857 | 1816 1554 21946 | 25272 20466 43 | 0.000 % | 503.10/503.15 c | 295386 | 1816 1554 21946 | 27799 13746 76 | 0.000 % | 524.50/524.54 c | 443175 | 1816 1554 21946 | 30579 23538 60 | 0.000 % | 600.00/600.06 c | 664858 | 1816 1554 21946 | 33637 28677 91 | 0.000 % | 678.61/678.63 c | 997383 | 1816 1554 21946 | 37001 15576 84 | 0.000 % | 794.41/794.47 c | 1496171 | 1816 1554 21946 | 40701 33053 85 | 0.000 % | 1193.52/1193.58 c | 2244354 | 1816 1554 21946 | 44771 39743 99 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690060-1277923147/watcher-2690060-1277923147 -o /tmp/evaluation-result-2690060-1277923147/solver-2690060-1277923147 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690060-1277923147.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.92 1.99 1.99 3/178 15465 /proc/meminfo: memFree=29285712/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=2572 CPUtime=0 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 289 0 0 0 0 0 0 0 21 0 1 0 133612549 2633728 204 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 643 204 143 303 0 338 0 [startup+0.0765449 s] /proc/loadavg: 1.92 1.99 1.99 3/178 15465 /proc/meminfo: memFree=29285712/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=3364 CPUtime=0.07 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 481 0 0 0 7 0 0 0 21 0 1 0 133612549 3444736 396 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 841 396 143 303 0 536 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3364 [startup+0.100537 s] /proc/loadavg: 1.92 1.99 1.99 3/178 15465 /proc/meminfo: memFree=29285712/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=3496 CPUtime=0.09 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 533 0 0 0 9 0 0 0 21 0 1 0 133612549 3579904 448 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 874 448 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300505 s] /proc/loadavg: 1.92 1.99 1.99 3/178 15465 /proc/meminfo: memFree=29285712/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=5088 CPUtime=0.29 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 914 0 0 0 28 1 0 0 21 0 1 0 133612549 5210112 829 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 1272 829 143 303 0 967 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5088 [startup+0.700431 s] /proc/loadavg: 1.92 1.99 1.99 3/178 15465 /proc/meminfo: memFree=29285712/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=7332 CPUtime=0.69 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 1465 0 0 0 67 2 0 0 22 0 1 0 133612549 7507968 1380 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 1833 1380 143 303 0 1528 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7332 [startup+1.50029 s] /proc/loadavg: 1.92 1.99 1.99 3/179 15466 /proc/meminfo: memFree=29278752/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=11556 CPUtime=1.49 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 2540 0 0 0 143 6 0 0 25 0 1 0 133612549 11833344 2455 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 2889 2455 143 303 0 2584 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11556 [startup+3.10101 s] /proc/loadavg: 1.92 1.99 1.99 3/179 15466 /proc/meminfo: memFree=29271436/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=19872 CPUtime=3.09 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 4629 0 0 0 297 12 0 0 25 0 1 0 133612549 20348928 4544 4089446400 134512640 135751879 4294402784 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 4968 4544 143 303 0 4663 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19872 [startup+6.30044 s] /proc/loadavg: 1.93 1.99 1.99 3/179 15466 /proc/meminfo: memFree=29258044/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=27004 CPUtime=6.29 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 6405 0 0 0 607 22 0 0 19 0 1 0 133612549 27652096 6320 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 6751 6320 146 303 0 6446 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27004 [startup+12.7003 s] /proc/loadavg: 1.93 1.99 1.99 3/179 15466 /proc/meminfo: memFree=29230280/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=45040 CPUtime=12.69 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 10914 0 0 0 1228 41 0 0 25 0 1 0 133612549 46120960 10829 4089446400 134512640 135751879 4294402784 18446744073709551615 134602977 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 11260 10829 146 303 0 10955 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45040 [startup+25.501 s] /proc/loadavg: 1.95 1.99 1.99 3/179 15466 /proc/meminfo: memFree=29182052/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=77044 CPUtime=25.5 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 18914 0 0 0 2472 78 0 0 25 0 1 0 133612549 78893056 18829 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 19261 18829 146 303 0 18956 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 77044 [startup+51.1005 s] /proc/loadavg: 1.96 1.99 1.99 3/179 15467 /proc/meminfo: memFree=29077988/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=140096 CPUtime=51.09 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 34688 0 0 0 4954 155 0 0 25 0 1 0 133612549 143458304 34603 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 35024 34603 146 303 0 34719 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 140096 [startup+102.306 s] /proc/loadavg: 1.98 1.99 1.99 3/179 15468 /proc/meminfo: memFree=28863412/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=253180 CPUtime=102.3 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 62937 0 0 0 9935 295 0 0 25 0 1 0 133612549 259256320 62852 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 63295 62852 146 303 0 62990 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 253180 [startup+162.301 s] /proc/loadavg: 2.05 2.00 2.00 3/179 15470 /proc/meminfo: memFree=28669176/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=357260 CPUtime=162.29 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 88940 0 0 0 15830 399 0 0 25 0 1 0 133612549 365834240 88855 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 89315 88855 146 303 0 89010 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 357260 [startup+222.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 15472 /proc/meminfo: memFree=28463808/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=454692 CPUtime=222.3 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 113246 0 0 0 21765 465 0 0 25 0 1 0 133612549 465604608 113161 4089446400 134512640 135751879 4294402784 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 113673 113161 146 303 0 113368 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 454692 [startup+282.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 15473 /proc/meminfo: memFree=28256448/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=508140 CPUtime=282.3 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 126549 0 0 0 27736 494 0 0 25 0 1 0 133612549 520335360 126464 4089446400 134512640 135751879 4294402784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 127035 126464 146 303 0 126730 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 508140 [startup+342.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 15474 /proc/meminfo: memFree=28049084/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=573176 CPUtime=342.3 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 142768 0 0 0 33699 531 0 0 25 0 1 0 133612549 586932224 142683 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 143294 142683 146 303 0 142989 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 573176 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15476 /proc/meminfo: memFree=27880784/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=627012 CPUtime=402.3 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 156197 0 0 0 39674 556 0 0 25 0 1 0 133612549 642060288 156112 4089446400 134512640 135751879 4294402784 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 156753 156112 146 303 0 156448 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 627012 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15478 /proc/meminfo: memFree=27715712/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=686736 CPUtime=462.3 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 171352 0 0 0 45603 627 0 0 25 0 1 0 133612549 703217664 171233 4089446400 134512640 135751879 4294402784 18446744073709551615 134611026 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 171684 171233 146 303 0 171379 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 686736 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15480 /proc/meminfo: memFree=27543076/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=757296 CPUtime=522.31 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 188903 0 0 0 51552 679 0 0 25 0 1 0 133612549 775471104 188784 4089446400 134512640 135751879 4294402784 18446744073709551615 134518802 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 189324 188784 146 303 0 189019 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 757296 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15481 /proc/meminfo: memFree=27392884/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=821516 CPUtime=582.3 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 204834 0 0 0 57510 720 0 0 25 0 1 0 133612549 841232384 204715 4089446400 134512640 135751879 4294402784 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 205379 204715 146 303 0 205074 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 821516 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15482 /proc/meminfo: memFree=27069596/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=943472 CPUtime=642.31 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 235329 0 0 0 63447 784 0 0 25 0 1 0 133612549 966115328 235210 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 235868 235210 146 303 0 235563 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 943472 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.01 1.99 1.99 3/179 15564 /proc/meminfo: memFree=30570956/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1214564 CPUtime=822.31 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 302990 0 0 0 81296 935 0 0 25 0 1 0 133612549 1243713536 302871 4089446400 134512640 135751879 4294402784 18446744073709551615 134616873 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 303641 302871 146 303 0 303336 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1214564 [startup+882.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 15565 /proc/meminfo: memFree=30511276/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1273980 CPUtime=882.31 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 317826 0 0 0 87270 961 0 0 25 0 1 0 133612549 1304555520 317707 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 318495 317707 146 303 0 318190 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1273980 [startup+942.301 s] /proc/loadavg: 2.00 1.99 1.99 3/179 15566 /proc/meminfo: memFree=30454568/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1330916 CPUtime=942.31 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 332061 0 0 0 93244 987 0 0 25 0 1 0 133612549 1362857984 331942 4089446400 134512640 135751879 4294402784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 332729 331942 146 303 0 332424 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1330916 [startup+1002.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 15568 /proc/meminfo: memFree=30405172/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1380184 CPUtime=1002.32 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 344324 0 0 0 99223 1009 0 0 25 0 1 0 133612549 1413308416 344205 4089446400 134512640 135751879 4294402784 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 345046 344205 146 303 0 344741 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1380184 [startup+1062.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 15570 /proc/meminfo: memFree=30346980/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1438996 CPUtime=1062.32 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 359017 0 0 0 105196 1036 0 0 25 0 1 0 133612549 1473531904 358898 4089446400 134512640 135751879 4294402784 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 359749 358898 146 303 0 359444 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1438996 [startup+1122.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 15572 /proc/meminfo: memFree=30290876/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1494444 CPUtime=1122.31 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 372846 0 0 0 111170 1061 0 0 25 0 1 0 133612549 1530310656 372727 4089446400 134512640 135751879 4294402784 18446744073709551615 134616388 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 373611 372727 146 303 0 373306 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1494444 [startup+1182.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 15573 /proc/meminfo: memFree=30233800/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1552736 CPUtime=1182.32 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 387442 0 0 0 117143 1089 0 0 25 0 1 0 133612549 1590001664 387323 4089446400 134512640 135751879 4294402784 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 388184 387323 146 303 0 387879 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1552736 [startup+1242.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 15574 /proc/meminfo: memFree=30166560/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1618680 CPUtime=1242.32 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 403937 0 0 0 123111 1121 0 0 25 0 1 0 133612549 1657528320 403818 4089446400 134512640 135751879 4294402784 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 404670 403818 146 303 0 404365 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1618680 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 15576 /proc/meminfo: memFree=30114792/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1670408 CPUtime=1302.33 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 416798 0 0 0 129089 1144 0 0 25 0 1 0 133612549 1710497792 416679 4089446400 134512640 135751879 4294402784 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 417602 416679 146 303 0 417297 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1670408 [startup+1362.3 s] /proc/loadavg: 2.03 2.00 2.00 3/179 15587 /proc/meminfo: memFree=30064612/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1719992 CPUtime=1362.32 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 429203 0 0 0 135067 1165 0 0 25 0 1 0 133612549 1761271808 429084 4089446400 134512640 135751879 4294402784 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 429998 429084 146 303 0 429693 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1719992 [startup+1422.31 s] /proc/loadavg: 2.01 2.00 2.00 3/179 15589 /proc/meminfo: memFree=30018684/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1765632 CPUtime=1422.32 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 440604 0 0 0 141047 1185 0 0 25 0 1 0 133612549 1808007168 440485 4089446400 134512640 135751879 4294402784 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 441408 440485 146 303 0 441103 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1765632 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15590 /proc/meminfo: memFree=29960120/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1824768 CPUtime=1482.33 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 455411 0 0 0 147019 1214 0 0 25 0 1 0 133612549 1868562432 455292 4089446400 134512640 135751879 4294402784 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 456192 455292 146 303 0 455887 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1824768 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15591 /proc/meminfo: memFree=29907880/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1876596 CPUtime=1542.33 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 468305 0 0 0 152995 1238 0 0 25 0 1 0 133612549 1921634304 468186 4089446400 134512640 135751879 4294402784 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 469149 468186 146 303 0 468844 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1876596 [startup+1602.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 15593 /proc/meminfo: memFree=29867788/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1917124 CPUtime=1602.32 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 478425 0 0 0 158977 1255 0 0 25 0 1 0 133612549 1963134976 478306 4089446400 134512640 135751879 4294402784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 479281 478306 146 303 0 478976 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1917124 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 15595 /proc/meminfo: memFree=29814800/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=1969948 CPUtime=1662.33 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 491627 0 0 0 164953 1280 0 0 25 0 1 0 133612549 2017226752 491508 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15465/statm: 492487 491508 146 303 0 492182 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1969948 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 15597 /proc/meminfo: memFree=29762800/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=2022364 CPUtime=1722.32 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 504715 0 0 0 170926 1306 0 0 25 0 1 0 133612549 2070900736 504596 4089446400 134512640 135751879 4294402784 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15465/statm: 505591 504596 146 303 0 505286 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2022364 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15598 /proc/meminfo: memFree=29716128/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=2068292 CPUtime=1782.33 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 516202 0 0 0 176904 1329 0 0 25 0 1 0 133612549 2117931008 516083 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15465/statm: 517073 516083 146 303 0 516768 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2068292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15599 /proc/meminfo: memFree=29700624/32951124 swapFree=67111528/67111528 [pid=15465] ppid=15463 vsize=2083340 CPUtime=1800.03 /proc/15465/stat : 15465 (wbo1.4a) R 15463 15465 13427 0 -1 4202496 519962 0 0 0 178667 1336 0 0 25 0 1 0 133612549 2133340160 519843 4089446400 134512640 135751879 4294402784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15465/statm: 520835 519843 146 303 0 520530 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2083340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.07 CPU time (s): 1800.11 CPU user time (s): 1786.67 CPU system time (s): 13.434 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2083340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.67 system time used= 13.434 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 519962 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= 14 involuntary context switches= 1277 runsolver used 2.46762 second user time and 5.74913 second system time The end
Begin job on node101 at 2010-06-30 20:39:07 IDJOB=2690060 IDBENCH=79199 IDSOLVER=1200 FILE ID=node101/2690060-1277923147 PBS_JOBID= 11197302 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969170--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-2690060-1277923147/watcher-2690060-1277923147 -o /tmp/evaluation-result-2690060-1277923147/solver-2690060-1277923147 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690060-1277923147.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2498aa7c72321a79724f3337e23f532a RANDOM SEED=756419200 node101.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.837 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.837 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 : 5226.15 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.837 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.837 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.837 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.74 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.837 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.837 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.837 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: 29286612 kB Buffers: 211260 kB Cached: 742680 kB SwapCached: 0 kB Active: 2974992 kB Inactive: 541192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29286612 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2732 kB Writeback: 0 kB AnonPages: 2562684 kB Mapped: 15084 kB Slab: 78868 kB PageTables: 9652 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2707156 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= 74208 MiB End job on node101 at 2010-06-30 21:09:09