Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: PB-clasp 2007-04-10 | SAT (TO) | 4138 | 1802.06 | 1804.02 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
| MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3124 |
| Best CPU time to get the best result obtained on this benchmark | 1.66275 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3695 |
| Optimality of the best value was proved | NO |
| Number of variables | 2756 |
| Total number of constraints | 749 |
| Number of constraints which are clauses | 132 |
| Number of constraints which are cardinality constraints (but not clauses) | 220 |
| Number of constraints which are nor clauses,nor cardinality constraints | 397 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 546 |
| Number of terms in the objective function | 2166 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 321831 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 321831 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.23 o 9220 0.21/0.37 o 7778 0.35/0.52 o 7454 0.50/0.65 o 7083 0.63/0.83 o 7080 0.96/1.02 o 7079 1.01/1.17 o 7076 1.15/1.32 o 7070 1.31/1.46 o 7017 1.44/1.60 o 6980 1.58/1.75 o 6918 1.73/1.89 o 6916 1.88/2.04 o 6801 2.08/2.19 o 6739 2.16/2.34 o 6724 2.32/2.48 o 6720 2.46/2.59 o 6715 2.56/2.69 o 6711 2.67/2.80 o 6707 2.77/2.91 o 6703 2.88/3.03 o 6569 3.01/3.13 o 6568 3.17/3.23 o 6566 3.20/3.33 o 6562 3.31/3.44 o 6558 3.41/3.54 o 6557 3.51/3.64 o 6555 3.61/3.74 o 6554 3.72/3.84 o 6550 3.81/3.94 o 6548 3.92/4.03 o 6547 4.01/4.13 o 6545 4.10/4.23 o 6544 4.25/4.35 o 6543 4.32/4.45 o 6539 4.41/4.55 o 6537 4.51/4.65 o 6536 4.62/4.75 o 6534 4.73/4.85 o 6530 4.83/4.96 o 6529 4.94/5.06 o 6525 5.04/5.23 o 6522 5.20/5.32 o 6520 5.36/5.42 o 6518 5.39/5.51 o 6516 5.50/5.61 o 6515 5.59/5.70 o 6513 5.69/5.80 o 6501 5.79/5.92 o 6456 5.91/6.04 o 6451 6.03/6.16 o 6440 6.14/6.31 o 6434 6.28/6.48 o 6432 6.73/6.81 o 6429 6.74/6.96 o 6428 6.90/7.11 o 6427 7.05/7.30 o 6407 7.24/7.42 o 6405 7.35/7.53 o 6397 7.52/7.63 o 6395 7.56/7.73 o 6387 7.66/7.84 o 6383 7.77/7.94 o 6377 7.86/8.05 o 6376 7.97/8.15 o 6373 8.07/8.25 o 6371 8.17/8.36 o 6368 8.29/8.46 o 6364 8.39/8.59 o 6363 8.52/8.69 o 6362 8.63/8.81 o 6359 8.73/8.90 o 6355 8.91/9.00 o 6347 8.91/9.09 o 6344 9.01/9.21 o 6343 9.13/9.34 o 6342 9.27/9.47 o 6341 9.40/9.64 o 6337 9.56/9.74 o 6336 9.69/9.84 o 6334 9.75/9.93 o 6333 9.85/10.02 o 6329 9.94/10.12 o 6328 10.04/10.24 o 6325 10.16/10.33 o 6324 10.24/10.42 o 6322 10.34/10.52 o 6321 10.43/10.62 o 6319 10.53/10.76 o 6309 10.68/10.85 o 6307 10.79/10.97 o 6305 10.88/11.07 o 6302 10.98/11.19 o 6301 11.10/11.29 o 6299 11.19/11.39 o 6298 11.29/11.49 o 6296 11.41/11.60 o 6295 11.41/11.69 o 6294 11.60/11.81 o 6293 11.68/11.94 o 6290 11.82/12.06 o 6289 11.88/12.16 o 6286 11.99/12.26 o 6285 12.08/12.37 o 6284 12.19/12.46 o 6283 12.28/12.61 o 6281 12.42/12.73 o 6278 12.54/12.81 o 6277 12.63/12.92 o 6276 12.74/13.01 o 6275 12.74/13.10 o 6271 12.92/13.19 o 6270 13.00/13.29 o 6269 13.11/13.43 o 6267 13.24/13.57 o 6266 13.38/13.67 o 6262 13.48/13.77 o 6261 13.59/13.88 o 6260 13.69/14.04 o 6257 13.84/14.12 o 6256 14.00/14.22 o 6255 14.03/14.32 o 6248 14.13/14.40 o 6247 14.22/14.51 o 6246 14.32/14.60 o 6244 14.32/14.69 o 6240 14.49/14.78 o 6239 14.60/14.87 o 6238 14.69/14.96 o 6229 14.77/15.07 o 6228 14.88/15.26 o 6226 15.10/15.35 o 6224 15.15/15.47 o 6221 15.29/15.59 o 6219 15.41/15.69 o 6218 15.50/15.82 o 6217 15.63/15.93 o 6216 15.74/16.03 o 6215 15.83/16.19 o 6203 15.99/16.31 o 6201 16.19/16.45 o 6200 16.26/16.60 o 6199 16.41/16.71 o 6196 16.52/16.80 o 6195 16.61/16.90 o 6193 16.70/17.01 o 6192 16.82/17.11 o 6191 16.92/17.20 o 6189 17.00/17.30 o 6185 17.11/17.45 o 6181 17.28/17.55 o 6161 17.34/17.68 o 6159 17.48/17.83 o 6155 17.63/17.94 o 6151 17.74/18.03 o 6150 17.82/18.14 o 6149 17.93/18.26 o 6147 18.06/18.35 o 6144 18.14/18.49 o 6141 18.28/18.60 o 6137 18.40/18.69 o 6133 18.49/18.77 o 6132 18.57/18.85 o 6131 18.66/18.94 o 6122 18.74/19.03 o 6119 18.83/19.13 o 6118 18.93/19.68 o 6111 19.59/19.81 o 6110 19.61/19.91 o 6104 19.71/20.00 o 6103 19.80/20.11 o 6100 19.91/20.25 o 6099 20.05/20.37 o 6098 20.17/20.48 o 6096 20.28/20.64 o 6084 20.43/20.74 o 6082 20.59/20.85 o 6081 20.64/20.97 o 6080 20.76/21.08 o 6079 20.87/21.22 o 6078 21.01/21.34 o 6076 21.12/21.44 o 6075 21.22/21.55 o 6073 21.35/21.65 o 6072 21.44/21.76 o 6071 21.63/21.90 o 6069 21.64/22.02 o 6068 21.75/22.16 o 6063 21.88/22.29 o 6061 22.02/22.38 o 6060 22.12/22.50 o 6059 22.23/22.63 o 6058 22.36/22.73 o 6057 22.46/22.84 o 6050 22.57/22.98 o 6046 22.72/23.09 o 6045 22.82/23.25 o 6030 22.98/23.38 o 6029 23.12/23.49 o 6028 23.22/23.61 o 6027 23.34/23.76 o 6024 23.48/23.87 o 6016 23.59/23.94 o 6015 23.66/24.05 o 6014 23.90/24.23 o 6012 23.95/24.36 o 6010 24.07/24.47 o 6009 24.19/24.56 o 6006 24.27/24.67 o 6005 24.39/24.89 o 6004 24.60/25.01 o 6003 24.72/25.13 o 6001 24.89/25.26 o 5995 24.97/25.36 o 5991 25.08/25.50 o 5989 25.20/25.60 o 5988 25.32/25.72 o 5986 25.43/25.83 o 5984 25.53/25.94 o 5982 25.65/26.04 o 5979 25.74/26.14 o 5978 25.85/26.24 o 5976 25.98/26.40 o 5957 26.10/26.50 o 5956 26.20/26.62 o 5955 26.31/26.74 o 5954 26.44/26.88 o 5953 26.56/26.98 o 5952 26.65/27.09 o 5951 26.76/27.26 o 5950 27.05/27.40 o 5948 27.05/27.50 o 5946 27.16/27.77 o 5943 27.44/27.94 o 5942 27.61/28.07 o 5940 27.74/28.17 o 5936 27.83/28.30 o 5935 27.95/28.40 o 5934 27.95/28.50 o 5932 28.14/28.59 o 5931 28.24/28.73 o 5929 28.39/28.84 o 5927 28.50/28.97 o 5926 28.63/29.09 o 5925 28.75/29.19 o 5924 28.85/29.28 o 5923 28.94/29.41 o 5919 29.06/29.55 o 5918 29.24/29.67 o 5917 29.32/29.77 o 5915 29.42/29.96 o 5914 29.62/30.24 o 5912 29.91/30.37 o 5909 30.03/30.54 o 5908 30.19/30.68 o 5907 30.34/30.79 o 5906 30.45/30.96 o 5905 30.62/31.09 o 5904 30.75/31.20 o 5900 30.87/31.30 o 5896 30.87/31.39 o 5894 31.04/31.49 o 5893 31.14/31.57 o 5892 31.22/31.65 o 5891 31.41/31.88 o 5888 31.43/32.03 o 5884 31.56/32.13 o 5883 31.66/32.23 o 5881 31.77/32.45 o 5878 31.98/32.61 o 5874 32.14/32.70 o 5873 32.22/32.81 o 5871 32.41/32.91 o 5869 32.44/33.03 o 5866 32.55/33.13 o 5864 32.66/33.27 o 5860 32.79/33.37 o 5853 32.90/33.47 o 5849 32.98/33.63 o 5847 33.16/33.76 o 5846 33.28/33.89 o 5844 33.50/34.01 o 5843 33.53/34.13 o 5841 33.64/34.24 o 5840 33.75/34.34 o 5839 33.87/34.52 o 5838 34.04/34.68 o 5834 34.20/34.89 o 5833 34.40/35.03 o 5830 34.59/35.14 o 5829 34.65/35.27 o 5827 34.77/35.50 o 5825 35.01/35.61 o 5823 35.13/35.73 o 5820 35.25/35.85 o 5819 35.37/35.95 o 5818 35.46/36.07 o 5817 35.58/36.15 o 5816 35.70/36.23 o 5812 35.75/36.33 o 5810 35.83/36.41 o 5809 35.83/36.49 o 5807 35.99/36.63 o 5804 36.13/36.75 o 5802 36.25/36.90 o 5801 36.40/37.05 o 5798 36.55/37.15 o 5797 36.66/37.23 o 5796 36.78/37.35 o 5795 36.84/37.44 o 5794 36.94/37.52 o 5793 37.01/37.63 o 5790 37.13/37.77 o 5788 37.27/37.91 o 5784 37.41/38.06 o 5783 37.56/38.25 o 5781 37.74/38.38 o 5780 37.98/38.53 o 5778 38.02/38.67 o 5776 38.17/38.81 o 5773 38.31/38.93 o 5771 38.44/39.07 o 5767 38.57/39.22 o 5763 38.73/39.36 o 5744 38.85/39.47 o 5742 38.98/39.59 o 5741 39.08/39.71 o 5735 39.19/39.81 o 5734 39.29/39.92 o 5732 39.41/40.19 o 5730 39.69/40.30 o 5729 39.79/40.40 o 5728 39.89/40.50 o 5726 40.07/40.60 o 5725 40.09/40.78 o 5723 40.27/40.89 o 5722 40.38/41.00 o 5719 40.48/41.09 o 5716 40.58/41.25 o 5714 40.74/41.41 o 5712 40.90/41.54 o 5710 41.26/41.82 o 5709 41.27/41.90 o 5708 41.36/42.09 o 5707 41.54/42.25 o 5705 41.70/42.37 o 5704 41.81/42.49 o 5702 41.94/42.61 o 5701 41.94/42.69 o 5700 42.14/42.77 o 5699 42.21/42.89 o 5698 42.33/42.99 o 5696 42.53/43.10 o 5695 42.53/43.22 o 5692 42.65/43.34 o 5691 42.77/43.51 o 5690 42.93/43.65 o 5682 43.08/43.81 o 5681 43.32/43.92 o 5678 43.35/44.05 o 5677 43.49/44.23 o 5673 43.66/44.33 o 5672 43.76/44.43 o 5671 43.86/44.60 o 5670 44.02/44.72 o 5668 44.15/44.98 o 5665 44.51/45.11 o 5663 44.54/45.23 o 5662 44.66/45.37 o 5658 44.80/45.50 o 5656 44.93/45.63 o 5651 45.08/45.75 o 5650 45.19/45.86 o 5648 45.30/45.99 o 5646 45.42/46.10 o 5644 45.53/46.23 o 5637 45.67/46.31 o 5631 45.75/46.40 o 5630 45.83/46.58 o 5629 46.01/46.70 o 5627 46.13/46.83 o 5624 46.26/46.93 o 5623 46.36/47.04 o 5619 46.47/47.13 o 5618 46.58/47.30 o 5617 46.58/47.39 o 5615 46.82/47.54 o 5614 46.97/47.64 o 5612 47.08/47.78 o 5611 47.21/47.96 o 5610 47.39/48.07 o 5607 47.51/48.18 o 5606 47.70/48.32 o 5602 47.74/48.43 o 5600 47.85/48.54 o 5598 47.96/48.64 o 5597 48.06/48.76 o 5596 48.18/48.94 o 5595 48.36/49.06 o 5593 48.48/49.17 o 5589 49.30/49.99 o 5588 49.41/50.27 o 5580 49.68/50.35 o 5578 49.76/50.48 o 5577 49.99/50.62 o 5576 50.03/50.75 o 5575 50.16/50.87 o 5574 50.29/51.00 o 5570 50.41/51.11 o 5569 50.53/51.22 o 5567 50.63/51.35 o 5565 50.75/51.46 o 5563 51.00/51.63 o 5550 51.04/51.73 o 5549 51.14/51.80 o 5548 51.23/51.95 o 5544 51.37/52.03 o 5543 51.44/52.16 o 5542 51.59/52.27 o 5540 51.69/52.39 o 5538 51.81/52.52 o 5536 51.93/52.67 o 5535 52.20/52.81 o 5534 52.22/52.91 o 5533 52.33/53.03 o 5530 52.45/53.12 o 5529 52.53/53.24 o 5525 52.65/53.33 o 5524 52.74/53.46 o 5523 52.88/53.60 o 5521 53.01/53.73 o 5520 53.20/53.89 o 5518 53.32/54.02 o 5517 53.44/54.15 o 5516 53.57/54.26 o 5514 53.68/54.37 o 5513 53.78/54.48 o 5511 53.89/54.58 o 5510 54.00/54.69 o 5509 54.10/54.78 o 5508 54.42/55.00 o 5500 54.42/55.08 o 5498 54.50/55.15 o 5494 54.57/55.26 o 5492 54.68/55.43 o 5490 54.85/55.52 o 5489 54.94/55.67 o 5486 55.08/55.75 o 5485 55.18/55.84 o 5481 55.40/56.06 o 5477 55.48/56.17 o 5476 55.59/56.27 o 5475 55.69/56.38 o 5474 55.80/56.48 o 5472 55.89/56.64 o 5471 56.04/56.73 o 5470 56.14/56.85 o 5467 56.26/56.96 o 5466 56.37/57.04 o 5465 56.50/57.16 o 5464 56.56/57.30 o 5463 56.70/57.42 o 5462 56.83/57.54 o 5460 56.96/57.66 o 5459 57.08/57.84 o 5455 57.25/57.98 o 5452 57.39/58.08 o 5451 57.49/58.17 o 5450 57.59/58.28 o 5449 57.68/58.40 o 5448 57.82/58.53 o 5446 57.94/58.63 o 5443 58.04/58.73 o 5441 58.14/58.82 o 5435 58.22/58.91 o 5433 58.31/59.03 o 5432 58.44/59.10 o 5431 58.44/59.18 o 5428 58.58/59.25 o 5427 58.68/59.36 o 5426 58.76/59.46 o 5425 58.85/59.58 o 5422 58.97/59.71 o 5421 59.11/59.92 o 5420 59.31/60.05 o 5419 59.44/60.15 o 5417 59.54/60.25 o 5415 59.64/60.36 o 5414 59.78/60.48 o 5408 59.87/60.61 o 5405 60.00/60.74 o 5402 60.12/60.87 o 5399 60.27/60.97 o 5397 60.38/61.11 o 5396 60.51/61.36 o 5395 60.76/61.49 o 5394 60.89/61.60 o 5393 60.99/61.70 o 5392 61.09/61.83 o 5391 61.19/61.94 o 5390 61.30/62.11 o 5389 61.47/62.20 o 5388 63.44/64.12 o 5387 63.47/64.33 o 5385 63.68/64.45 o 5384 63.80/64.55 o 5382 63.91/64.68 o 5381 64.03/64.80 o 5378 64.14/64.92 o 5377 64.26/65.03 o 5376 64.37/65.14 o 5372 64.48/65.26 o 5368 64.60/65.38 o 5364 64.72/65.49 o 5360 64.84/65.60 o 5359 64.95/65.85 o 5358 65.23/65.96 o 5357 65.30/66.06 o 5355 65.40/66.16 o 5354 65.50/66.24 o 5353 65.57/66.35 o 5349 65.68/66.42 o 5347 65.77/66.50 o 5346 65.77/66.59 o 5345 65.94/66.72 o 5341 66.06/66.85 o 5338 66.33/67.02 o 5337 66.36/67.14 o 5336 66.48/67.36 o 5335 66.70/67.47 o 5333 66.81/67.60 o 5321 66.94/67.72 o 5318 67.06/67.81 o 5317 67.22/67.90 o 5315 67.22/68.02 o 5312 67.41/68.13 o 5310 67.46/68.23 o 5306 67.57/68.34 o 5305 67.66/68.44 o 5302 67.77/68.55 o 5301 67.88/68.67 o 5297 68.00/68.75 o 5296 68.08/68.87 o 5295 68.20/68.95 o 5294 68.27/69.07 o 5291 68.39/69.17 o 5289 68.52/69.27 o 5287 68.60/69.36 o 5286 69.99/70.70 o 5284 70.03/70.85 o 5282 70.18/71.07 o 5281 70.39/71.20 o 5279 70.52/71.32 o 5277 70.69/71.43 o 5275 70.74/71.65 o 5274 70.97/71.77 o 5271 71.09/71.92 o 5270 71.20/72.04 o 5269 71.31/72.17 o 5267 71.46/72.35 o 5266 71.63/72.47 o 5257 71.77/72.60 o 5253 71.89/72.87 o 5252 72.15/72.98 o 5251 72.26/73.08 o 5249 72.36/73.18 o 5248 72.46/73.28 o 5247 72.56/73.38 o 5244 72.86/73.62 o 5242 72.90/73.74 o 5240 73.02/73.84 o 5239 73.11/73.93 o 5237 73.21/74.16 o 5235 73.44/74.29 o 5232 73.57/74.42 o 5231 73.68/74.54 o 5229 73.81/74.65 o 5228 73.94/74.77 o 5227 74.03/74.89 o 5225 74.16/75.04 o 5224 74.31/75.19 o 5222 74.46/75.28 o 5220 74.55/75.40 o 5216 74.67/75.52 o 5212 74.79/75.62 o 5211 74.89/75.73 o 5210 75.04/75.84 o 5209 75.10/75.95 o 5208 75.20/76.05 o 5206 75.31/76.13 o 5205 75.40/76.21 o 5204 75.48/76.34 o 5203 75.60/76.45 o 5201 75.72/76.53 o 5200 75.79/76.62 o 5198 75.87/76.71 o 5197 75.97/76.81 o 5196 75.97/76.90 o 5195 76.13/77.04 o 5193 76.27/77.26 o 5192 76.50/77.37 o 5190 76.63/77.49 o 5189 76.73/77.58 o 5187 76.82/77.71 o 5173 76.94/77.82 o 5170 77.05/77.93 o 5169 77.31/78.13 o 5168 77.36/78.22 o 5167 77.45/78.33 o 5165 77.55/78.43 o 5163 77.65/78.54 o 5162 77.77/78.68 o 5161 77.90/78.79 o 5160 78.03/78.87 o 5159 78.10/79.01 o 5157 78.32/79.13 o 5156 78.37/79.23 o 5149 78.47/79.33 o 5148 78.56/79.45 o 5146 78.69/79.80 o 5144 79.03/80.04 o 5140 79.28/80.15 o 5137 79.42/80.25 o 5135 79.49/80.36 o 5133 79.60/80.48 o 5131 79.72/80.60 o 5129 79.72/80.69 o 5128 79.92/80.78 o 5127 80.01/80.86 o 5126 80.10/80.95 o 5124 80.18/81.04 o 5121 80.27/81.15 o 5119 80.38/81.23 o 5118 80.52/81.34 o 5115 80.57/81.43 o 5114 80.65/81.53 o 5113 80.76/81.65 o 5109 80.88/81.75 o 5108 80.99/81.88 o 5106 81.12/81.99 o 5105 81.21/82.10 o 5103 81.33/82.35 o 5101 81.90/82.70 o 5100 81.93/82.95 o 5099 82.18/83.09 o 5097 82.31/83.22 o 5094 82.71/83.51 o 5093 82.73/83.67 o 5092 82.90/83.80 o 5091 83.02/83.91 o 5090 83.13/84.03 o 5089 83.25/84.15 o 5073 83.38/84.25 o 5072 83.48/84.36 o 5070 83.59/84.52 o 5067 83.81/84.63 o 5066 83.85/84.72 o 5062 83.95/84.82 o 5061 84.05/84.93 o 5059 84.15/85.04 o 5057 84.26/85.14 o 5056 84.36/85.24 o 5055 84.45/85.37 o 5053 84.59/85.50 o 5048 84.73/85.61 o 5046 84.91/85.71 o 5042 84.93/85.82 o 5041 85.03/85.92 o 5037 85.13/86.02 o 5035 85.24/86.12 o 5024 85.32/86.20 o 5023 85.42/86.33 o 5022 85.54/86.45 o 5018 85.66/86.60 o 5016 86.49/87.31 o 5014 86.53/87.46 o 5006 86.67/87.56 o 5005 86.77/87.65 o 5004 86.86/87.74 o 5002 86.94/87.85 o 5001 87.08/87.99 o 4994 87.18/88.10 o 4993 87.29/88.24 o 4990 87.43/88.36 o 4989 87.55/88.48 o 4981 87.69/88.58 o 4980 87.78/88.66 o 4978 87.86/88.79 o 4975 87.99/88.90 o 4973 88.17/89.01 o 4972 88.19/89.12 o 4970 88.30/89.20 o 4966 88.30/89.27 o 4964 88.45/89.38 o 4963 88.56/89.54 o 4960 88.71/89.61 o 4959 88.79/89.76 o 4958 89.26/90.13 o 4957 89.31/90.25 o 4956 89.42/90.36 o 4955 89.54/90.49 o 4951 89.67/90.62 o 4947 89.79/90.75 o 4946 89.92/90.89 o 4943 90.06/91.03 o 4942 90.20/91.15 o 4939 90.45/91.31 o 4937 90.47/91.45 o 4935 90.61/91.57 o 4933 90.73/91.65 o 4930 90.80/91.77 o 4928 90.92/91.92 o 4925 91.04/92.02 o 4923 91.15/92.13 o 4921 91.25/92.25 o 4920 91.42/92.36 o 4918 91.48/92.47 o 4917 91.59/92.56 o 4915 91.68/92.67 o 4914 91.79/92.75 o 4913 91.87/92.85 o 4912 91.97/92.92 o 4911 92.04/93.00 o 4910 92.04/93.08 o 4908 92.21/93.20 o 4906 92.33/93.33 o 4905 92.51/93.45 o 4903 92.57/93.66 o 4902 92.78/93.80 o 4900 93.60/94.59 o 4897 93.71/94.82 o 4895 93.95/95.19 o 4893 94.31/95.31 o 4889 94.44/95.43 o 4888 94.54/95.54 o 4885 94.71/95.67 o 4883 94.80/95.77 o 4882 94.90/95.87 o 4880 95.00/95.98 o 4878 95.10/96.09 o 4876 95.21/96.21 o 4875 95.33/96.31 o 4874 95.44/96.45 o 4873 95.56/96.57 o 4872 95.69/96.67 o 4870 95.81/96.79 o 4869 95.91/96.93 o 4866 96.02/97.04 o 4865 96.14/97.16 o 4864 96.25/97.27 o 4863 96.36/97.38 o 4861 96.46/97.52 o 4860 96.61/97.61 o 4859 96.70/97.71 o 4857 96.87/97.84 o 4856 96.92/97.95 o 4853 97.03/98.03 o 4851 97.11/98.15 o 4848 97.23/98.27 o 4838 97.36/98.39 o 4836 97.47/98.50 o 4835 97.58/98.61 o 4834 97.70/98.72 o 4831 97.80/98.83 o 4827 97.96/98.95 o 4823 98.02/99.22 o 4822 98.30/99.34 o 4821 98.42/99.46 o 4820 99.06/100.07 o 4818 99.15/100.19 o 4817 99.27/100.33 o 4814 99.41/100.42 o 4813 99.51/100.55 o 4811 99.63/100.71 o 4809 99.81/100.98 o 4806 100.28/101.23 o 4805 102.07/103.01 o 4804 102.10/103.12 o 4802 102.21/103.23 o 4800 102.38/103.33 o 4797 102.41/104.18 o 4794 103.27/104.33 o 4793 103.47/104.46 o 4792 103.55/104.58 o 4791 103.68/104.70 o 4789 103.79/104.83 o 4787 103.93/104.96 o 4786 104.06/105.12 o 4782 104.21/105.24 o 4780 104.34/105.38 o 4770 104.48/105.48 o 4769 104.58/105.56 o 4768 104.66/105.68 o 4764 104.77/105.79 o 4762 104.88/105.92 o 4761 105.01/106.01 o 4760 105.11/106.13 o 4757 105.22/106.23 o 4756 105.33/106.32 o 4753 105.42/106.41 o 4751 105.51/106.53 o 4750 105.67/106.61 o 4749 105.71/106.71 o 4748 105.71/106.79 o 4745 105.87/107.02 o 4743 106.09/107.10 o 4741 106.16/107.21 o 4740 107.24/108.28 o 4739 107.36/108.38 o 4738 107.45/108.49 o 4737 107.57/108.61 o 4736 107.68/108.70 o 4735 107.85/108.81 o 4732 107.87/108.93 o 4731 107.99/109.04 o 4728 108.10/109.17 o 4725 108.23/109.39 o 4724 108.45/109.49 o 4723 108.57/109.61 o 4721 108.67/109.81 o 4719 108.95/109.92 o 4716 108.98/110.03 o 4715 109.09/110.13 o 4712 109.18/110.24 o 4706 109.29/110.36 o 4705 109.41/110.48 o 4704 109.53/110.59 o 4703 109.63/110.71 o 4702 109.76/110.81 o 4701 109.87/110.92 o 4700 110.03/111.03 o 4699 110.08/111.15 o 4698 110.21/111.36 o 4696 110.42/111.53 o 4695 144.91/145.99 o 4694 145.02/146.09 o 4692 145.12/146.17 o 4691 145.23/146.28 o 4690 145.33/146.37 o 4689 145.42/146.50 o 4686 145.42/146.59 o 4685 145.63/146.71 o 4683 145.75/146.85 o 4682 145.84/147.07 o 4681 146.06/147.19 o 4680 146.27/147.32 o 4678 146.30/147.42 o 4677 146.42/147.55 o 4676 146.53/147.67 o 4675 148.27/149.33 o 4673 148.32/149.41 o 4672 148.46/149.52 o 4671 150.14/151.23 o 4669 150.20/151.31 o 4668 150.20/151.39 o 4667 150.35/151.49 o 4665 150.45/151.59 o 4664 150.77/151.70 o 4660 150.67/152.43 o 4656 151.39/152.54 o 4655 151.51/152.71 o 4654 151.75/152.84 o 4653 151.79/152.97 o 4652 151.94/153.20 o 4651 152.17/153.31 o 4650 152.27/153.46 o 4649 155.04/156.17 o 4648 161.64/162.80 o 4645 161.76/162.97 o 4644 161.92/163.06 o 4642 162.74/163.90 o 4641 162.85/164.20 o 4638 163.15/164.30 o 4637 163.93/165.01 o 4636 163.95/165.12 o 4632 164.06/165.20 o 4631 164.15/165.33 o 4629 164.28/165.43 o 4628 165.23/166.33 o 4627 165.28/166.41 o 4626 167.03/168.15 o 4622 167.11/168.25 o 4620 167.18/168.37 o 4619 167.30/168.47 o 4618 167.40/168.55 o 4616 167.48/168.80 o 4613 167.72/168.90 o 4610 167.83/169.13 o 4608 168.05/169.24 o 4607 168.20/169.37 o 4604 168.29/169.60 o 4603 168.29/169.69 o 4602 168.60/169.78 o 4601 168.69/169.87 o 4600 168.79/169.99 o 4599 168.92/170.12 o 4598 169.04/170.22 o 4597 169.15/170.34 o 4596 169.31/170.46 o 4595 169.37/170.55 o 4593 169.47/170.66 o 4592 169.58/170.74 o 4590 169.67/170.85 o 4589 169.78/170.97 o 4588 169.89/171.09 o 4586 170.00/171.17 o 4585 170.09/171.28 o 4584 170.20/171.36 o 4583 170.29/171.45 o 4582 170.40/171.56 o 4581 170.47/171.65 o 4579 170.56/171.73 o 4577 170.64/171.86 o 4574 170.73/171.98 o 4573 170.83/172.08 o 4571 171.63/172.88 o 4569 171.74/172.99 o 4567 171.85/173.09 o 4566 173.54/174.74 o 4562 173.64/174.83 o 4561 173.68/175.06 o 4558 173.91/175.16 o 4557 174.01/175.27 o 4555 174.12/175.51 o 4551 175.14/176.30 o 4550 175.16/176.43 o 4549 175.27/176.51 o 4546 175.36/176.62 o 4545 175.47/176.76 o 4543 175.60/176.87 o 4542 177.82/179.04 o 4359 177.89/179.14 o 4358 178.04/179.24 o 4357 178.08/179.32 o 4355 178.16/179.42 o 4354 185.32/186.51 o 4353 186.11/187.30 o 4352 186.14/187.41 o 4350 186.82/188.08 o 4349 186.91/188.19 o 4347 187.03/188.94 o 4346 187.77/189.05 o 4344 187.92/189.13 o 4343 187.96/189.21 o 4341 187.96/189.29 o 4339 188.12/189.51 o 4337 188.12/189.59 o 4336 188.41/189.68 o 4335 188.51/189.76 o 4333 188.59/189.85 o 4331 188.68/189.93 o 4330 188.75/190.03 o 4328 189.02/190.27 o 4327 189.10/190.38 o 4326 189.21/190.50 o 4325 189.33/190.63 o 4323 198.91/200.19 o 4322 506.96/509.15 o 4321 507.93/509.25 o 4320 507.93/509.38 o 4319 508.20/509.50 o 4318 508.33/509.87 o 4316 508.77/510.70 o 4315 509.60/510.83 o 4314 509.75/511.58 o 4313 510.54/512.37 o 4312 511.32/512.57 o 4310 511.53/512.69 o 4308 511.68/512.80 o 4307 511.82/513.02 o 4306 512.07/513.13 o 4305 815.98/817.78 sh: line 1: 5133 Done cat HOME/temp/instance-3731294-1338691388.opb.op 815.98/817.78 5134 Terminated | clasp-1.0 --trans=no > HOME/temp/instance-3731294-1338691388.opb.clasp 1145.33/1147.14 o 4303 1148.00/1149.89 o 4301 1148.80/1150.66 o 4296 1148.88/1150.74 o 4295 1148.97/1151.02 o 4294 1149.25/1151.15 o 4293 1149.37/1151.25 o 4292 1152.31/1154.12 o 4291 1152.36/1154.24 o 4289 1152.48/1154.40 o 4286 1152.62/1154.52 o 4285 1154.50/1156.33 o 4284 1154.56/1156.41 o 4280 1154.64/1156.53 o 4279 1154.76/1156.62 o 4278 1157.60/1159.46 o 4277 1157.61/1159.59 o 4276 1157.74/1159.75 o 4275 1157.90/1159.95 o 4274 1158.09/1160.06 o 4272 1158.53/1160.40 o 4271 1158.56/1160.55 o 4270 1158.70/1160.71 o 4269 1158.70/1160.79 o 4268 1158.94/1160.88 o 4267 1159.03/1160.96 o 4266 1159.11/1161.06 o 4265 1160.33/1162.27 o 4264 1160.42/1162.39 o 4263 1160.54/1162.50 o 4262 1160.64/1162.57 o 4261 1160.71/1162.66 o 4260 1160.80/1162.76 o 4258 1160.89/1162.84 o 4257 1160.99/1162.96 o 4255 1162.23/1164.19 o 4252 1162.33/1164.29 o 4251 1162.42/1164.38 o 4250 1162.51/1164.49 o 4249 1162.61/1164.56 o 4247 1162.80/1164.74 o 4246 1162.86/1165.04 o 4232 1169.59/1171.52 o 4229 1174.09/1176.01 o 4172 1174.12/1176.19 o 4171 1174.30/1176.44 o 4169 1174.76/1176.73 o 4168 1174.78/1176.83 o 4167 1174.88/1177.00 o 4166 1175.04/1177.10 o 4165 1175.16/1177.26 o 4164 1175.30/1177.44 o 4163 1180.42/1182.41 o 4156 1180.45/1182.71 o 4154 1181.43/1183.49 o 4153 1183.01/1185.06 o 4152 1183.10/1185.16 o 4151 1183.20/1185.25 o 4150 1183.27/1185.32 o 4149 1183.35/1185.40 o 4148 1187.60/1189.68 o 4147 1187.70/1189.78 o 4146 1189.39/1191.48 o 4145 1189.50/1191.61 o 4143 1189.63/1191.74 o 4142 1189.76/1191.84 o 4141 1189.86/1191.96 o 4140 1638.41/1640.50 o 4138 1799.87/1802.00 sh: line 1: 1873 Done cat HOME/temp/instance-3731294-1338691388.opb.op 1799.87/1802.00 1874 Terminated | clasp-1.0 --trans=no > HOME/temp/instance-3731294-1338691388.opb.clasp 1799.87/1802.01 c Somebody sent me a SIGTERM 1799.87/1802.01 s SATISFIABLE 1799.87/1802.01 v x13 x53 x54 x75 x79 x91 x101 x119 x173 x193 x214 x239 x262 x278 x280 x390 x410 x533 x602 x678 x692 x693 x705 x719 x737 x753 x787 x799 x814 x832 x848 x874 x877 x879 x882 x885 x886 x893 x894 x908 x926 x942 x975 x987 x1003 x1013 x1018 x1037 x1073 x1088 x1090 x1104 x1136 x1142 x1225 x1324 x1347 x1350 x1439 x1502 x1573 x1635 x1649 x1668 x1716 x1742 x1765 x1767 x1799 x1808 x1842 x1879 x1892 x1965 x2008 x2021 x2067 x2078 x2094 x2106 x2107 x2167 x2168 x2188 x2208 x2224 x2225 x2226 x2251 x2256 x2260 x2261 x2262 x2266 x2285 x2303 x2358 x2359 x2365 x2374 x2385 x2404 x2421 x2452 x2463 x2482 x2499 x2535 x2547 x2599 x2611 x2681 x2710 x2713 x2721 x2722 1799.87/1802.01 pb2clasp1: no process killed 1801.86/1804.01 sh: line 1: 1885 Done cat HOME/temp/instance-3731294-1338691388.opb.op 1801.86/1804.01 1886 Killed | clasp-1.0 --trans=no > HOME/temp/instance-3731294-1338691388.opb.clasp
OK 4138
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731294-1338691388/watcher-3731294-1338691388 -o /tmp/evaluation-result-3731294-1338691388/solver-3731294-1338691388 -C 1800 -W 1900 -M 15500 pbclasp instance-3731294-1338691388.opb HOME/temp running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.09 2.53 2.03 3/177 23046 /proc/meminfo: memFree=27797588/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=25592 CPUtime=0 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) R 23043 23046 14418 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 335264281 26206208 478 33554432000 4194304 4198148 140735514732720 140735514730168 239885672448 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0 /proc/23046/statm: 6398 478 355 1 0 193 0 [startup+0.047218 s] /proc/loadavg: 3.09 2.53 2.03 3/177 23046 /proc/meminfo: memFree=27797588/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26284 CPUtime=0.03 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 738 0 0 0 3 0 0 0 20 0 1 0 335264281 26914816 649 33554432000 4194304 4198148 140735514732720 140735514731608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/23046/statm: 6571 649 368 1 0 366 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 26284 [startup+0.100218 s] /proc/loadavg: 3.09 2.53 2.03 3/177 23046 /proc/meminfo: memFree=27797588/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26284 CPUtime=0.03 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 738 0 0 0 3 0 0 0 20 0 1 0 335264281 26914816 649 33554432000 4194304 4198148 140735514732720 140735514731608 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/23046/statm: 6571 649 368 1 0 366 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 26284 [startup+0.300183 s] /proc/loadavg: 3.09 2.53 2.03 3/177 23046 /proc/meminfo: memFree=27797588/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=0.21 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 1086 4832 0 0 3 0 17 1 20 0 1 0 335264281 27049984 714 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/23046/statm: 6604 714 387 1 0 399 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 26416 [startup+0.70022 s] /proc/loadavg: 3.09 2.53 2.03 3/177 23046 /proc/meminfo: memFree=27797588/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=0.63 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 1510 13004 0 0 3 0 57 3 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 26416 [startup+1.50019 s] /proc/loadavg: 3.09 2.53 2.03 3/181 24061 /proc/meminfo: memFree=27793756/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=1.44 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 2211 26612 0 0 4 1 133 6 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 26416 [startup+3.10019 s] /proc/loadavg: 3.09 2.53 2.03 3/181 25160 /proc/meminfo: memFree=27792872/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=3.01 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 3797 59267 0 0 6 2 278 15 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 26416 [startup+6.30013 s] /proc/loadavg: 2.84 2.49 2.02 3/180 28435 /proc/meminfo: memFree=27793588/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=6.14 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 7660 140857 0 0 9 5 561 39 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 26416 [startup+12.7001 s] /proc/loadavg: 2.70 2.46 2.02 4/181 2282 /proc/meminfo: memFree=27792604/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=12.42 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 14837 290712 0 0 17 9 1140 76 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 Current children cumulated CPU time (s) 12.42 Current children cumulated vsize (KiB) 26416 [startup+25.5003 s] /proc/loadavg: 2.39 2.41 2.00 3/180 14699 /proc/meminfo: memFree=27793740/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=25.08 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 28666 585271 0 0 32 18 2303 155 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 Current children cumulated CPU time (s) 25.08 Current children cumulated vsize (KiB) 26416 ############ # WARNING: # current cumulated CPU time (46.58 s) is less than in the last sample (46.63 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.0499992 s) to the 'lost time'. [startup+47.2001 s] /proc/loadavg: 2.06 2.33 1.99 3/180 2953 /proc/meminfo: memFree=27793756/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=46.58 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 50284 1049193 0 0 55 34 4290 279 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 [pid=2907] ppid=23046 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/2907/stat : 2907 (sh) S 23046 23046 14418 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335268995 9367552 264 33554432000 4194304 5064252 140736627619040 140736627617296 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/2907/statm: 2287 264 223 213 0 72 0 [pid=2911] ppid=2907 vsize=4784 CPUtime=0.05 cores=1,3,5,7 /proc/2911/stat : 2911 (clasp-1.0) R 2907 23046 14418 0 -1 4202496 768 0 0 0 5 0 0 0 20 0 1 0 335268995 4898816 666 33554432000 134512640 134847168 4293331552 4293330268 134715744 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/2911/statm: 1196 666 270 82 0 437 0 Current children cumulated CPU time (s) 46.63 Current children cumulated vsize (KiB) 40348 [startup+47.3069 s] /proc/loadavg: 2.06 2.33 1.99 3/180 2953 /proc/meminfo: memFree=27793756/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=46.58 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) R 23043 23046 14418 0 -1 4202496 50284 1049193 0 0 55 34 4290 279 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 0 0 0 17 1 0 0 0 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 Current children cumulated CPU time (s) 46.58 Current children cumulated vsize (KiB) 26416 # ############ [startup+51.1001 s] /proc/loadavg: 1.97 2.31 1.98 5/183 6015 /proc/meminfo: memFree=27795128/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=50.41 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 53332 1115430 0 0 58 36 4650 297 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 Current children cumulated CPU time (s) 50.41 Current children cumulated vsize (KiB) 26416 [startup+102.307 s] /proc/loadavg: 1.48 2.12 1.93 3/180 22542 /proc/meminfo: memFree=27790996/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=100.33 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 100092 2125496 0 0 106 68 9288 571 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 [pid=21688] ppid=23046 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/21688/stat : 21688 (sh) S 23046 23046 14418 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335274405 9367552 264 33554432000 4194304 5064252 140734218548272 140734218546528 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/21688/statm: 2287 264 223 213 0 72 0 [pid=21692] ppid=21688 vsize=7608 CPUtime=1.05 cores=1,3,5,7 /proc/21692/stat : 21692 (clasp-1.0) R 21688 23046 14418 0 -1 4202496 1496 0 0 0 105 0 0 0 20 0 1 0 335274405 7790592 1394 33554432000 134512640 134847168 4287518192 4287516960 134617539 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/21692/statm: 1902 1394 270 82 0 1143 0 Current children cumulated CPU time (s) 101.38 Current children cumulated vsize (KiB) 43172 ############ # WARNING: # current cumulated CPU time (150.67 s) is less than in the last sample (150.77 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.100006 s) to the 'lost time'. [startup+151.7 s] /proc/loadavg: 1.43 2.00 1.90 3/181 2506 /proc/meminfo: memFree=27793244/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=150.67 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) R 23043 23046 14418 0 -1 4202496 110405 2355108 0 0 117 75 14235 640 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876500784 0 0 4224 16384 0 0 0 17 1 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 [pid=2416] ppid=23046 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/2416/stat : 2416 (sh) S 23046 23046 14418 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 335279440 9367552 263 33554432000 4194304 5064252 140735596571904 140735596570160 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/2416/statm: 2287 263 223 213 0 72 0 [pid=2418] ppid=2416 vsize=0 CPUtime=0.1 cores=1,3,5,7 /proc/2418/stat : 2418 (clasp-1.0) R 2416 23046 14418 0 -1 4202508 805 0 0 0 10 0 0 0 20 0 1 0 335279441 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/2418/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 150.77 Current children cumulated vsize (KiB) 35564 [startup+151.807 s] /proc/loadavg: 1.43 2.00 1.90 3/181 2506 /proc/meminfo: memFree=27793244/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=150.67 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 110518 2356436 0 0 117 75 14235 640 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 Current children cumulated CPU time (s) 150.67 Current children cumulated vsize (KiB) 26416 # ############ ################ # More data... # ################ /proc/1861/stat : 1861 (clasp-1.0) R 1859 23046 14418 0 -1 4202496 7129 0 0 0 29025 1 0 0 20 0 1 0 335383478 29003776 6543 33554432000 134512640 134847168 4290907088 4290905712 134784711 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/1861/statm: 7081 6543 270 82 0 6322 0 Current children cumulated CPU time (s) 1480.23 Current children cumulated vsize (KiB) 63888 [startup+1542.3 s] /proc/loadavg: 2.11 2.09 2.14 3/181 1862 /proc/meminfo: memFree=27404660/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=1189.97 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 133513 2902188 0 0 141 95 117854 907 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 [pid=1859] ppid=23046 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1859/stat : 1859 (sh) S 23046 23046 14418 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335383478 9367552 263 33554432000 4194304 5064252 140736140477072 140736140475328 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1859/statm: 2287 263 223 213 0 72 0 [pid=1861] ppid=1859 vsize=32564 CPUtime=350.25 cores=1,3,5,7 /proc/1861/stat : 1861 (clasp-1.0) R 1859 23046 14418 0 -1 4202496 8235 0 0 0 35023 2 0 0 20 0 1 0 335383478 33345536 7633 33554432000 134512640 134847168 4290907088 4290905472 134735785 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/1861/statm: 8141 7633 270 82 0 7382 0 Current children cumulated CPU time (s) 1540.22 Current children cumulated vsize (KiB) 68128 [startup+1602.3 s] /proc/loadavg: 2.18 2.12 2.15 3/181 1863 /proc/meminfo: memFree=27372048/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=1189.97 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 133513 2902188 0 0 141 95 117854 907 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 [pid=1859] ppid=23046 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1859/stat : 1859 (sh) S 23046 23046 14418 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335383478 9367552 263 33554432000 4194304 5064252 140736140477072 140736140475328 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1859/statm: 2287 263 223 213 0 72 0 [pid=1861] ppid=1859 vsize=34252 CPUtime=410.25 cores=1,3,5,7 /proc/1861/stat : 1861 (clasp-1.0) R 1859 23046 14418 0 -1 4202496 8668 0 0 0 41023 2 0 0 20 0 1 0 335383478 35074048 8039 33554432000 134512640 134847168 4290907088 4290905856 134737666 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/1861/statm: 8563 8039 270 82 0 7804 0 Current children cumulated CPU time (s) 1600.22 Current children cumulated vsize (KiB) 69816 [startup+1662.3 s] /proc/loadavg: 2.17 2.12 2.15 3/182 1874 /proc/meminfo: memFree=27391404/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=1638.43 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 133643 2913030 0 0 141 95 162697 910 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 [pid=1872] ppid=23046 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1872/stat : 1872 (sh) S 23046 23046 14418 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335428333 9367552 264 33554432000 4194304 5064252 140733590622256 140733590620512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1872/statm: 2287 264 223 213 0 72 0 [pid=1874] ppid=1872 vsize=14840 CPUtime=21.76 cores=1,3,5,7 /proc/1874/stat : 1874 (clasp-1.0) R 1872 23046 14418 0 -1 4202496 3296 0 0 0 2176 0 0 0 20 0 1 0 335428333 15196160 3194 33554432000 134512640 134847168 4289866976 4289865668 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1874/statm: 3710 3194 272 82 0 2951 0 Current children cumulated CPU time (s) 1660.19 Current children cumulated vsize (KiB) 50404 [startup+1722.3 s] /proc/loadavg: 2.06 2.10 2.14 3/181 1874 /proc/meminfo: memFree=27384508/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=1638.43 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 133643 2913030 0 0 141 95 162697 910 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 [pid=1872] ppid=23046 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1872/stat : 1872 (sh) S 23046 23046 14418 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335428333 9367552 264 33554432000 4194304 5064252 140733590622256 140733590620512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1872/statm: 2287 264 223 213 0 72 0 [pid=1874] ppid=1872 vsize=21436 CPUtime=81.76 cores=1,3,5,7 /proc/1874/stat : 1874 (clasp-1.0) R 1872 23046 14418 0 -1 4202496 4992 0 0 0 8175 1 0 0 20 0 1 0 335428333 21950464 4849 33554432000 134512640 134847168 4289866976 4289865744 134737260 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1874/statm: 5359 4849 272 82 0 4600 0 Current children cumulated CPU time (s) 1720.19 Current children cumulated vsize (KiB) 57000 [startup+1782.3 s] /proc/loadavg: 2.02 2.08 2.12 3/181 1874 /proc/meminfo: memFree=27384704/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=1638.43 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 133643 2913030 0 0 141 95 162697 910 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 [pid=1872] ppid=23046 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1872/stat : 1872 (sh) S 23046 23046 14418 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335428333 9367552 264 33554432000 4194304 5064252 140733590622256 140733590620512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1872/statm: 2287 264 223 213 0 72 0 [pid=1874] ppid=1872 vsize=21436 CPUtime=141.73 cores=1,3,5,7 /proc/1874/stat : 1874 (clasp-1.0) R 1872 23046 14418 0 -1 4202496 5000 0 0 0 14172 1 0 0 20 0 1 0 335428333 21950464 4859 33554432000 134512640 134847168 4289866976 4289865616 134715302 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/1874/statm: 5359 4859 272 82 0 4600 0 Current children cumulated CPU time (s) 1780.16 Current children cumulated vsize (KiB) 57000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1802 s] /proc/loadavg: 2.01 2.07 2.12 3/181 1874 /proc/meminfo: memFree=27384580/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=1638.43 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 133643 2913030 0 0 141 95 162697 910 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 [pid=1872] ppid=23046 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1872/stat : 1872 (sh) S 23046 23046 14418 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335428333 9367552 264 33554432000 4194304 5064252 140733590622256 140733590620512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/1872/statm: 2287 264 223 213 0 72 0 [pid=1874] ppid=1872 vsize=21436 CPUtime=161.44 cores=1,3,5,7 /proc/1874/stat : 1874 (clasp-1.0) R 1872 23046 14418 0 -1 4202496 5000 0 0 0 16143 1 0 0 20 0 1 0 335428333 21950464 4859 33554432000 134512640 134847168 4289866976 4289865508 134713620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/1874/statm: 5359 4859 272 82 0 4600 0 Current children cumulated CPU time (s) 1799.87 Current children cumulated vsize (KiB) 57000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -23046 Solver just ended. Dumping a history of the last processes samples [startup+1802.2 s] /proc/loadavg: 2.01 2.07 2.12 3/181 1874 /proc/meminfo: memFree=27384580/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=1799.9 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 133817 2920802 0 0 142 95 178840 913 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 Current children cumulated CPU time (s) 1799.9 Current children cumulated vsize (KiB) 26416 [startup+1803 s] /proc/loadavg: 2.01 2.07 2.12 3/182 1893 /proc/meminfo: memFree=27756948/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=1799.9 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 133817 2920802 0 0 142 95 178840 913 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 [pid=1884] ppid=23046 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1884/stat : 1884 (sh) S 23046 23046 14418 0 -1 4202496 370 221 0 0 0 0 0 0 20 0 1 0 335444483 9367552 264 33554432000 4194304 5064252 140737478596704 140737478594960 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/1884/statm: 2287 264 223 213 0 72 0 [pid=1886] ppid=1884 vsize=7752 CPUtime=0.96 cores=1,3,5,7 /proc/1886/stat : 1886 (clasp-1.0) R 1884 23046 14418 0 -1 4202496 1531 0 0 0 96 0 0 0 20 0 1 0 335444483 7938048 1428 33554432000 134512640 134847168 4288156672 4288155300 134616080 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1886/statm: 1938 1428 270 82 0 1179 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (KiB) 43316 [startup+1803.81 s] /proc/loadavg: 2.01 2.07 2.12 3/182 1893 /proc/meminfo: memFree=27736496/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=1799.9 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 133817 2920802 0 0 142 95 178840 913 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 [pid=1884] ppid=23046 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1884/stat : 1884 (sh) S 23046 23046 14418 0 -1 4202496 370 221 0 0 0 0 0 0 20 0 1 0 335444483 9367552 264 33554432000 4194304 5064252 140737478596704 140737478594960 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/1884/statm: 2287 264 223 213 0 72 0 [pid=1886] ppid=1884 vsize=8264 CPUtime=1.77 cores=1,3,5,7 /proc/1886/stat : 1886 (clasp-1.0) R 1884 23046 14418 0 -1 4202496 1652 0 0 0 177 0 0 0 20 0 1 0 335444483 8462336 1549 33554432000 134512640 134847168 4288156672 4288155312 134715257 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1886/statm: 2066 1549 270 82 0 1307 0 Current children cumulated CPU time (s) 1801.67 Current children cumulated vsize (KiB) 43828 [startup+1804 s] /proc/loadavg: 2.01 2.07 2.12 3/182 1893 /proc/meminfo: memFree=27736496/32873844 swapFree=7384/7384 [pid=23046] ppid=23043 vsize=26416 CPUtime=1799.9 cores=1,3,5,7 /proc/23046/stat : 23046 (pbclasp) S 23043 23046 14418 0 -1 4202496 133817 2920802 0 0 142 95 178840 913 20 0 1 0 335264281 27049984 715 33554432000 4194304 4198148 140735514732720 140735514731648 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 1 0 0 /proc/23046/statm: 6604 715 387 1 0 399 0 [pid=1884] ppid=23046 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/1884/stat : 1884 (sh) S 23046 23046 14418 0 -1 4202496 370 221 0 0 0 0 0 0 20 0 1 0 335444483 9367552 264 33554432000 4194304 5064252 140737478596704 140737478594960 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0 /proc/1884/statm: 2287 264 223 213 0 72 0 [pid=1886] ppid=1884 vsize=8248 CPUtime=1.96 cores=1,3,5,7 /proc/1886/stat : 1886 (clasp-1.0) R 1884 23046 14418 0 -1 4202496 1652 0 0 0 196 0 0 0 20 0 1 0 335444483 8445952 1549 33554432000 134512640 134847168 4288156672 4288155356 134715964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1886/statm: 2062 1549 270 82 0 1303 0 Current children cumulated CPU time (s) 1801.86 Current children cumulated vsize (KiB) 43812 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.150005 # lost CPU user time (s): 0.150005 # lost CPU system time (s): 0 Real time (s): 1804.02 CPU time (s): 1802.06 CPU user time (s): 1791.96 CPU system time (s): 10.1005 CPU usage (%): 99.8913 Max. virtual memory (cumulated for all children) (KiB): 70264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.81 system time used= 10.1005 maximum resident set size= 32492 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3057129 page faults= 0 swaps= 0 block input operations= 0 block output operations= 375464 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 48100 involuntary context switches= 13889 runsolver used 3.47947 second user time and 9.50155 second system time The end
Begin job on node136 at 2012-06-03 04:43:08 IDJOB=3731294 IDBENCH=1871 IDSOLVER=2317 FILE ID=node136/3731294-1338691388 RUNJOBID= node136-1338679217-23147 PBS_JOBID= 14636677 Free space on /tmp= 69808 MiB SOLVER NAME= PB07: PB-clasp 2007-04-10 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731294-1338691388/watcher-3731294-1338691388 -o /tmp/evaluation-result-3731294-1338691388/solver-3731294-1338691388 -C 1800 -W 1900 -M 15500 pbclasp instance-3731294-1338691388.opb HOME/temp TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=1469277092 node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27797660 kB Buffers: 734796 kB Cached: 3412756 kB SwapCached: 20316 kB Active: 2149100 kB Inactive: 2029140 kB Active(anon): 4992 kB Inactive(anon): 22312 kB Active(file): 2144108 kB Inactive(file): 2006828 kB Unevictable: 7384 kB Mlocked: 7384 kB SwapTotal: 67108856 kB SwapFree: 67083208 kB Dirty: 516 kB Writeback: 4 kB AnonPages: 12996 kB Mapped: 10288 kB Shmem: 0 kB Slab: 758904 kB SReclaimable: 191528 kB SUnreclaim: 567376 kB KernelStack: 1504 kB PageTables: 3956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 128472 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3731294-1338691388.opb Free space on /tmp at the end= 69804 MiB End job on node136 at 2012-06-03 05:13:12