Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | MSAT (TO) | 1800.06 | 1800.02 |
Name | /PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_10000_30r_wcsp.wbo |
MD5SUM | 5c91a7da8edb093488f35ff23162ac3f |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 101 |
Best CPU time to get the best result obtained on this benchmark | 1800.21 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 2008 |
Total number of constraints | 48581 |
Number of soft constraints | 48385 |
Number of constraints which are clauses | 48385 |
Number of constraints which are cardinality constraints (but not clauses) | 196 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 14 |
Top cost | 448020002 |
Min constraint cost | 1 |
Max constraint cost | 990001 |
Sum of constraints costs | 12702738385 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 15 |
Number of bits of the biggest sum of numbers | 4 |
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 PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.19/0.25 c constraints 196/0 clauses 0/48385 units 0 0.19/0.25 c vars 2008 0.19/0.25 c Setting top cost 448020002 3.39/3.43 c 3.2805 277.625 1 99878 3.39/3.43 o 280170694 3.49/3.53 c 3.31549 281.25 1 149388 3.49/3.53 o 271260682 3.59/3.63 c 3.34149 281.25 5 186480 3.59/3.63 o 271260676 3.69/3.79 c 3.37949 281.379 24 275638 3.69/3.79 o 214830554 3.89/3.93 c 3.41048 281.379 30 357298 3.89/3.93 o 205920524 3.99/4.04 c 3.44148 281.508 33 387548 3.99/4.04 o 205920523 4.09/4.13 c 3.46547 281.508 33 436911 4.09/4.13 o 179190473 4.19/4.23 c 3.49547 281.508 33 486304 4.19/4.23 o 173250452 4.30/4.33 c 3.52546 281.508 33 511336 4.30/4.33 o 173250451 4.39/4.42 c 3.56246 281.508 33 560711 4.39/4.42 o 172260456 4.49/4.52 c 3.59145 281.508 33 610090 4.49/4.52 o 171270445 4.59/4.62 c 3.61545 281.508 33 659497 4.59/4.62 o 165330429 5.19/5.26 c 3.82442 281.766 133 727168 5.19/5.26 o 120780382 5.29/5.37 c 3.85441 281.766 133 776691 5.29/5.37 o 112860358 6.69/6.71 c 4.29335 282.152 443 882945 6.69/6.71 o 107910374 6.99/7.05 c 4.40333 282.152 504 903002 6.99/7.05 o 107910373 7.09/7.16 c 4.43033 282.152 507 956089 7.09/7.16 o 105930342 7.79/7.81 c 4.6273 282.281 603 1004822 7.79/7.81 o 104940355 7.90/7.92 c 4.65329 282.41 605 1056677 7.90/7.92 o 103950336 8.00/8.06 c 4.70328 282.41 607 1095375 8.00/8.06 o 102960342 8.09/8.17 c 4.73828 282.41 609 1144951 8.09/8.17 o 101970318 10.39/10.45 c 5.56315 282.668 932 1219823 10.39/10.45 o 100980340 10.59/10.60 c 5.62315 282.797 937 1262155 10.59/10.60 o 100980336 10.69/10.73 c 5.65914 282.797 942 1312071 10.69/10.73 o 100980303 10.79/10.85 c 5.69513 282.797 943 1370595 10.79/10.85 o 94050307 10.90/10.96 c 5.72513 282.797 944 1410308 10.90/10.96 o 93060327 14.30/14.32 c 6.78597 283.52 1673 1490207 14.30/14.32 o 93060326 16.29/16.36 c 7.41387 283.777 1945 1521913 16.29/16.36 o 93060325 16.69/16.74 c 7.53185 283.777 1989 1531534 16.69/16.74 o 93060324 16.79/16.88 c 7.56985 283.777 1999 1574776 16.79/16.88 o 93060318 84.79/84.80 c 27.8328 293.188 16099 2034059 84.79/84.80 o 92070337 88.00/88.08 c 28.9226 293.574 16818 2094898 88.00/88.08 o 92070330 91.89/91.91 c 29.9165 293.832 17068 2160410 91.89/91.91 o 92070325 92.70/92.78 c 30.2094 293.832 17270 2184212 92.70/92.78 o 92070324 93.19/93.29 c 30.3704 293.961 17377 2203377 93.19/93.29 o 92070323 98.29/98.34 c 32.0461 294.09 9600 2272488 98.29/98.34 o 92070322 99.49/99.56 c 32.4491 294.09 9830 2299749 99.49/99.56 o 92070321 102.20/102.24 c 33.2589 294.09 10186 2327911 102.20/102.24 o 92070320 110.79/110.84 c 35.9735 294.09 12721 2434001 110.79/110.84 o 92070319 160.10/160.13 c 50.3303 302.211 12030 2763915 160.10/160.13 o 91080347 161.90/161.97 c 50.8243 302.211 12278 2814815 161.90/161.97 o 91080339 163.09/163.17 c 51.1602 302.211 12547 2829470 163.09/163.17 o 91080338 163.20/163.28 c 51.1922 302.211 12549 2869222 163.20/163.28 o 90090358 164.00/164.06 c 51.4142 302.211 12714 2900710 164.00/164.06 o 90090357 164.09/164.17 c 51.4362 302.211 12714 2939357 164.09/164.17 o 90090345 164.19/164.29 c 51.4802 302.211 12715 2979910 164.19/164.29 o 90090341 164.40/164.41 c 51.5072 302.211 12720 2988395 164.40/164.41 o 90090340 164.60/164.65 c 51.5822 302.211 12772 3022044 164.60/164.66 o 90090339 164.70/164.77 c 51.6192 302.211 12782 3030684 164.70/164.77 o 90090338 164.80/164.88 c 51.6551 302.211 12787 3070013 164.80/164.88 o 90090336 165.70/165.70 c 51.9081 302.211 12990 3123654 165.70/165.70 o 90090323 166.30/166.32 c 52.0771 302.211 13091 3174243 166.30/166.32 o 89100342 166.40/166.45 c 52.1051 302.211 13093 3213579 166.40/166.45 o 89100314 166.50/166.57 c 52.1531 302.211 13095 3257147 166.50/166.57 o 88110322 166.79/166.89 c 52.2541 302.211 13157 3296817 166.79/166.89 o 88110311 167.11/167.12 c 52.317 302.211 13188 3305195 167.11/167.12 o 88110310 173.40/173.40 c 54.1618 302.211 14483 3383562 173.40/173.40 o 88110309 179.69/179.76 c 56.1075 302.211 16202 3455331 179.69/179.76 o 88110308 190.30/190.33 c 59.093 302.211 9591 3561764 190.30/190.33 o 88110307 214.60/214.61 c 66.7429 302.211 16560 3826832 214.60/214.61 o 88110306 219.59/219.68 c 68.1836 302.211 17481 3944854 219.59/219.68 o 88110305 220.00/220.06 c 68.2956 302.211 17511 3954524 220.00/220.06 o 88110304 222.00/222.04 c 68.9705 302.211 9072 3999190 222.00/222.04 o 88110303 311.70/311.79 c 119.652 313.859 15792 4664601 311.70/311.79 o 87120334 313.29/313.31 c 120.699 313.859 16198 4725090 313.29/313.31 o 87120326 313.40/313.47 c 120.817 313.859 16204 4764417 313.40/313.47 o 87120324 317.99/318.01 c 124.001 313.859 16874 4841225 317.99/318.01 o 87120314 327.20/327.26 c 130.55 313.859 10639 4957546 327.20/327.26 o 87120313 342.00/342.06 c 140.965 313.859 13257 5049265 342.00/342.06 o 87120312 374.39/374.47 c 163.993 313.859 12485 5336022 374.39/374.47 o 87120304 425.80/425.85 c 200.514 313.859 17297 5763166 425.80/425.85 o 86130338 426.00/426.02 c 200.642 313.859 17308 5799575 426.00/426.02 o 86130337 426.10/426.19 c 200.768 313.859 17312 5847832 426.10/426.19 o 86130285 426.30/426.33 c 200.867 313.859 17313 5888399 426.30/426.33 o 85140330 426.50/426.54 c 201.022 313.859 17318 5903763 426.50/426.54 o 85140329 426.71/426.74 c 201.175 313.859 17326 5918388 426.71/426.74 o 85140328 428.70/428.70 c 202.519 313.859 17838 6006075 428.70/428.70 o 85140327 430.60/430.62 c 203.894 313.859 9180 6064450 430.60/430.62 o 85140326 432.80/432.88 c 205.458 313.859 9495 6117001 432.80/432.88 o 85140315 443.39/443.43 c 212.829 313.859 11444 6224530 443.39/443.43 o 85140314 452.90/452.99 c 219.536 313.859 14065 6286252 452.90/452.99 o 85140313 461.00/461.00 c 225.201 313.859 15813 6390021 461.00/461.00 o 85140312 470.20/470.29 c 231.777 313.859 17638 6531988 470.20/470.29 o 85140311 515.60/515.68 c 263.439 313.859 10495 6829123 515.60/515.68 o 85140310 537.00/537.06 c 278.157 313.859 15344 6959625 537.00/537.06 o 85140309 549.00/549.03 c 286.56 313.859 9477 7088014 549.00/549.03 o 85140308 571.20/571.22 c 301.777 313.859 15317 7154228 571.20/571.22 o 85140307 652.90/652.97 c 357.61 313.859 11153 7374291 652.90/652.97 o 85140304 699.20/699.23 c 390.199 313.859 11732 7851074 699.20/699.23 o 85140303 749.50/749.52 c 425.845 313.859 12639 8141455 749.50/749.52 o 85140302 786.90/786.95 c 452.758 313.859 12130 8499303 786.90/786.95 o 85140301 851.31/851.40 c 499.169 313.859 12284 8659035 851.31/851.40 o 85140300 873.91/873.91 c 515.142 313.859 17888 8940225 873.91/873.91 o 84150323 881.01/881.01 c 520.016 313.859 10617 9053463 881.01/881.01 o 84150318 881.31/881.35 c 520.264 313.859 10738 9126633 881.31/881.35 o 84150316 885.01/885.03 c 522.99 313.859 11038 9154839 885.01/885.03 o 84150315 885.31/885.37 c 523.227 313.859 11116 9196331 885.31/885.37 o 84150302 909.81/909.88 c 540.282 313.859 10012 9407199 909.81/909.88 o 83160367 910.01/910.06 c 540.42 313.859 10020 9446377 910.01/910.06 o 83160338 916.71/916.79 c 545.273 313.859 10525 9518935 916.71/916.79 o 83160321 925.11/925.12 c 551.017 313.859 12160 9561721 925.11/925.12 o 83160320 925.32/925.33 c 551.178 313.859 12171 9601746 925.32/925.33 o 83160307 942.61/942.62 c 563.502 313.859 15904 9719195 942.61/942.62 o 83160306 970.11/970.14 c 583.081 313.859 11705 9964959 970.11/970.14 o 83160301 1046.81/1046.89 c 635.798 313.859 12366 10364533 1046.81/1046.89 o 82170336 1047.91/1047.90 c 636.491 313.859 12595 10399064 1047.91/1047.90 o 82170335 1049.21/1049.20 c 637.382 313.859 12773 10459076 1049.21/1049.20 o 82170320 1053.91/1053.92 c 640.796 313.859 14282 10507105 1053.91/1053.92 o 82170319 1054.12/1054.16 c 640.978 313.859 14299 10546270 1054.12/1054.16 o 82170308 1054.61/1054.62 c 641.324 313.859 14321 10575937 1054.61/1054.62 o 82170307 1055.01/1055.00 c 641.594 313.859 14430 10621204 1055.01/1055.00 o 82170301 1065.52/1065.58 c 649.093 313.859 17306 10744704 1065.52/1065.58 o 81180360 1067.31/1067.31 c 650.294 313.859 17874 10806092 1067.31/1067.31 o 81180333 1076.22/1076.24 c 656.63 313.859 10322 10862543 1076.22/1076.24 o 81180332 1076.41/1076.49 c 656.817 313.859 10342 10903135 1076.41/1076.49 o 81180325 1076.92/1076.93 c 657.117 313.859 10437 10942194 1076.92/1076.93 o 81180310 1084.31/1084.39 c 662.351 313.859 12350 11028818 1084.31/1084.39 o 81180309 1085.02/1085.04 c 662.818 313.859 12462 11043542 1085.02/1085.04 o 81180308 1100.41/1100.44 c 673.535 313.859 16581 11202980 1100.41/1100.44 o 81180307 1102.42/1102.41 c 674.939 313.859 16859 11229215 1102.42/1102.41 o 81180306 1112.91/1112.93 c 681.984 313.859 11044 11315533 1112.91/1112.93 o 81180305 1114.92/1114.90 c 683.355 313.859 11348 11337859 1114.92/1114.90 o 81180304 1117.52/1117.52 c 685.186 313.859 11977 11381252 1117.52/1117.52 o 81180303 1210.12/1210.17 c 750.319 313.859 10228 11669499 1210.12/1210.17 o 81180302 1248.32/1248.34 c 777.419 313.859 16789 11847363 1248.32/1248.34 o 81180301 1263.32/1263.38 c 787.953 313.859 12374 12029640 1263.32/1263.38 o 81180300 1306.42/1306.46 c 817.705 313.859 15857 12345603 1306.42/1306.46 o 81180299 1307.12/1307.11 c 818.155 313.859 15961 12391384 1307.12/1307.11 o 80190330 1307.72/1307.71 c 818.574 313.859 16067 12435751 1307.72/1307.71 o 80190324 1309.32/1309.34 c 819.685 313.859 16252 12480435 1309.32/1309.34 o 80190313 1325.42/1325.41 c 830.819 313.859 11220 12643332 1325.42/1325.41 o 80190312 1326.22/1326.20 c 831.406 313.859 11357 12661140 1326.22/1326.20 o 80190311 1484.43/1484.45 c 946.788 317.598 12691 12975348 1484.43/1484.45 o 80190310 1488.52/1488.57 c 949.679 317.598 14037 13119268 1488.52/1488.57 o 80190306 1541.42/1541.49 c 986.753 317.598 17156 13509568 1541.42/1541.49 o 80190305 1542.53/1542.53 c 987.509 317.598 17220 13518631 1542.53/1542.53 o 80190304 1579.73/1579.75 c 1012.71 317.598 14765 13710573 1579.73/1579.75 o 80190303 1582.53/1582.56 c 1014.7 317.598 15384 13750529 1582.53/1582.56 o 80190302 1591.32/1591.37 c 1020.79 317.598 9358 13837708 1591.32/1591.37 o 80190301 1638.43/1638.40 c 1054.18 317.598 18338 14032852 1638.43/1638.40 o 80190300 1648.13/1648.14 c 1060.98 317.598 11052 14149226 1648.13/1648.14 o 80190299 1648.33/1648.37 c 1061.15 317.598 11069 14159534 1648.33/1648.37 o 80190298 1653.63/1653.65 c 1064.85 317.598 12474 14218239 1653.63/1653.65 o 80190297 1684.53/1684.51 c 1086.83 317.598 11199 14472351 1684.53/1684.51 o 80190296 1686.43/1686.41 c 1088.2 317.598 11461 14487624 1686.43/1686.41 o 80190295 1714.13/1714.15 c 1107.84 317.598 10957 14706317 1714.13/1714.15 o 80190294 1714.44/1714.47 c 1108.08 317.598 11069 14789350 1714.44/1714.47 o 80190293 1738.43/1738.41 c 1124.86 317.598 17631 15008700 1738.43/1738.41 o 80190292 1800.04/1800.00 s SATISFIABLE 1800.04/1800.00 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008
OK 80190292
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701431-1278540032/watcher-2701431-1278540032 -o /tmp/evaluation-result-2701431-1278540032/solver-2701431-1278540032 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701431-1278540032.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.93 2.21 2.16 10/195 17996 /proc/meminfo: memFree=29688988/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=2268 CPUtime=0 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 296 0 0 0 0 0 0 0 21 0 1 0 22215795 2322432 215 4089446400 134512640 136422188 4290658928 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17996/statm: 567 215 144 467 0 98 0 [startup+0.0429621 s] /proc/loadavg: 1.93 2.21 2.16 10/195 17996 /proc/meminfo: memFree=29688988/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=2676 CPUtime=0.04 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 402 0 0 0 4 0 0 0 21 0 1 0 22215795 2740224 321 4089446400 134512640 136422188 4290658928 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17996/statm: 669 321 144 467 0 200 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2676 [startup+0.100923 s] /proc/loadavg: 1.93 2.21 2.16 10/195 17996 /proc/meminfo: memFree=29688988/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=3852 CPUtime=0.09 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 710 0 0 0 9 0 0 0 21 0 1 0 22215795 3944448 531 4089446400 134512640 136422188 4290658928 18446744073709551615 135372795 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17996/statm: 963 531 144 467 0 494 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3852 [startup+0.300919 s] /proc/loadavg: 1.93 2.21 2.16 10/195 17996 /proc/meminfo: memFree=29688988/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=17620 CPUtime=0.29 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 4266 0 0 0 29 0 0 0 21 0 1 0 22215795 18042880 3958 4089446400 134512640 136422188 4290658928 18446744073709551615 134707808 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17996/statm: 4438 3962 195 467 0 3969 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17620 [startup+0.700879 s] /proc/loadavg: 1.93 2.21 2.16 10/195 17996 /proc/meminfo: memFree=29688988/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=111508 CPUtime=0.69 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 28697 0 0 0 65 4 0 0 22 0 1 0 22215795 114184192 27247 4089446400 134512640 136422188 4290658928 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17996/statm: 27877 27250 195 467 0 27408 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 111508 [startup+1.5007 s] /proc/loadavg: 1.93 2.21 2.16 3/196 17997 /proc/meminfo: memFree=29507496/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=276384 CPUtime=1.49 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 71632 0 0 0 141 8 0 0 25 0 1 0 22215795 283017216 67264 4089446400 134512640 136422188 4290658928 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17996/statm: 69096 67264 211 467 0 68627 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 276384 [startup+3.10041 s] /proc/loadavg: 1.94 2.21 2.16 3/196 17997 /proc/meminfo: memFree=29418092/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=279480 CPUtime=3.09 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 72429 0 0 0 301 8 0 0 25 0 1 0 22215795 286187520 68061 4089446400 134512640 136422188 4290658928 18446744073709551615 135650432 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17996/statm: 69870 68061 211 467 0 69401 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 279480 [startup+6.30084 s] /proc/loadavg: 1.94 2.21 2.16 3/196 17997 /proc/meminfo: memFree=29410080/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=288524 CPUtime=6.29 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 74784 0 0 0 415 214 0 0 25 0 1 0 22215795 295448576 69532 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17996/statm: 72131 69532 239 467 0 71662 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 288524 [startup+12.7007 s] /proc/loadavg: 2.35 2.28 2.19 3/196 17997 /proc/meminfo: memFree=29405900/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=289924 CPUtime=12.69 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 75099 0 0 0 619 650 0 0 25 0 1 0 22215795 296882176 69835 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17996/statm: 72481 69835 239 467 0 72012 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 289924 [startup+25.5003 s] /proc/loadavg: 2.81 2.39 2.22 3/196 17998 /proc/meminfo: memFree=29399348/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=290848 CPUtime=25.49 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 75350 0 0 0 1024 1525 0 0 25 0 1 0 22215795 297828352 70082 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17996/statm: 72712 70082 239 467 0 72243 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 290848 [startup+51.1007 s] /proc/loadavg: 2.93 2.44 2.24 5/196 18007 /proc/meminfo: memFree=29382456/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=295072 CPUtime=51.09 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 76401 0 0 0 1804 3305 0 0 25 0 1 0 22215795 302153728 71133 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17996/statm: 73768 71133 239 467 0 73299 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 295072 [startup+102.307 s] /proc/loadavg: 2.73 2.44 2.25 3/196 18009 /proc/meminfo: memFree=29351228/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=301144 CPUtime=102.3 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 77928 0 0 0 3328 6902 0 0 25 0 1 0 22215795 308371456 72652 4089446400 134512640 136422188 4290658928 18446744073709551615 135237800 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17996/statm: 75286 72652 239 467 0 74817 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 301144 [startup+162.301 s] /proc/loadavg: 2.66 2.45 2.26 3/196 18010 /proc/meminfo: memFree=29313476/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=309460 CPUtime=162.3 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 80033 0 0 0 5091 11139 0 0 25 0 1 0 22215795 316887040 74754 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17996/statm: 77365 74754 239 467 0 76896 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 309460 [startup+222.301 s] /proc/loadavg: 3.32 2.62 2.33 3/196 18012 /proc/meminfo: memFree=29247452/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=309460 CPUtime=222.3 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 80057 0 0 0 6907 15323 0 0 25 0 1 0 22215795 316887040 74756 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/17996/statm: 77365 74756 239 467 0 76896 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 309460 [startup+282.301 s] /proc/loadavg: 2.51 2.51 2.31 2/196 18013 /proc/meminfo: memFree=29217260/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=319144 CPUtime=282.3 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 82456 0 0 0 9893 18337 0 0 25 0 1 0 22215795 326803456 77155 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 79786 77155 239 467 0 79317 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 319144 [startup+342.302 s] /proc/loadavg: 2.45 2.51 2.32 3/196 18015 /proc/meminfo: memFree=29193884/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=342.29 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83033 0 0 0 14112 20117 0 0 25 0 1 0 22215795 329101312 77726 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77726 239 467 0 79878 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 321388 [startup+402.301 s] /proc/loadavg: 2.18 2.42 2.30 7/196 18017 /proc/meminfo: memFree=29173820/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=402.3 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83034 0 0 0 18372 21858 0 0 25 0 1 0 22215795 329101312 77726 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77726 239 467 0 79878 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 321388 [startup+462.304 s] /proc/loadavg: 2.82 2.61 2.37 3/196 18018 /proc/meminfo: memFree=29151560/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=462.3 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83046 0 0 0 22612 23618 0 0 25 0 1 0 22215795 329101312 77726 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77726 239 467 0 79878 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 321388 [startup+522.301 s] /proc/loadavg: 2.82 2.65 2.40 3/197 18232 /proc/meminfo: memFree=30067892/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=522.29 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83048 0 0 0 26804 25425 0 0 25 0 1 0 22215795 329101312 77726 4089446400 134512640 136422188 4290658928 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77726 239 467 0 79878 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 321388 [startup+582.301 s] /proc/loadavg: 2.28 2.52 2.37 3/197 18233 /proc/meminfo: memFree=30066328/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=582.3 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83051 0 0 0 30934 27296 0 0 25 0 1 0 22215795 329101312 77726 4089446400 134512640 136422188 4290658928 18446744073709551615 134968816 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77726 239 467 0 79878 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 321388 [startup+642.301 s] /proc/loadavg: 2.14 2.44 2.35 3/197 18235 /proc/meminfo: memFree=30065644/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=642.31 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83051 0 0 0 35027 29204 0 0 25 0 1 0 22215795 329101312 77726 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77726 239 467 0 79878 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 321388 [startup+702.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.01 2.25 2.28 3/197 18240 /proc/meminfo: memFree=30064668/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=822.3 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83056 0 0 0 47814 34416 0 0 25 0 1 0 22215795 329101312 77727 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77727 239 467 0 79878 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 321388 [startup+882.301 s] /proc/loadavg: 2.04 2.21 2.27 3/197 18241 /proc/meminfo: memFree=30064724/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=882.31 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83060 0 0 0 52097 36134 0 0 25 0 1 0 22215795 329101312 77727 4089446400 134512640 136422188 4290658928 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77727 239 467 0 79878 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 321388 [startup+942.301 s] /proc/loadavg: 2.01 2.17 2.25 3/197 18243 /proc/meminfo: memFree=30064652/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=942.31 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83067 0 0 0 56327 37904 0 0 25 0 1 0 22215795 329101312 77727 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77727 239 467 0 79878 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 321388 [startup+1002.3 s] /proc/loadavg: 2.00 2.14 2.23 3/197 18245 /proc/meminfo: memFree=30064576/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=1002.32 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83069 0 0 0 60513 39719 0 0 25 0 1 0 22215795 329101312 77727 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77727 239 467 0 79878 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 321388 [startup+1062.3 s] /proc/loadavg: 2.05 2.13 2.22 3/197 18246 /proc/meminfo: memFree=30064372/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=1062.32 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83084 0 0 0 64671 41561 0 0 25 0 1 0 22215795 329101312 77735 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77735 239 467 0 79878 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 321388 [startup+1122.3 s] /proc/loadavg: 2.02 2.10 2.20 3/197 18251 /proc/meminfo: memFree=30063744/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=1122.31 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83098 0 0 0 68850 43381 0 0 25 0 1 0 22215795 329101312 77737 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77737 239 467 0 79878 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 321388 [startup+1182.3 s] /proc/loadavg: 2.07 2.10 2.19 3/197 18252 /proc/meminfo: memFree=30063732/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=1182.32 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83098 0 0 0 73032 45200 0 0 25 0 1 0 22215795 329101312 77737 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77737 239 467 0 79878 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 321388 [startup+1242.3 s] /proc/loadavg: 2.02 2.07 2.17 3/197 18254 /proc/meminfo: memFree=30063424/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=1242.32 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83099 0 0 0 77301 46931 0 0 25 0 1 0 22215795 329101312 77737 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77737 239 467 0 79878 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 321388 [startup+1302.3 s] /proc/loadavg: 2.01 2.06 2.16 3/197 18256 /proc/meminfo: memFree=30063236/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=1302.32 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83101 0 0 0 81484 48748 0 0 25 0 1 0 22215795 329101312 77737 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77737 239 467 0 79878 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 321388 [startup+1362.3 s] /proc/loadavg: 2.00 2.05 2.15 3/197 18257 /proc/meminfo: memFree=30063044/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=1362.32 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83107 0 0 0 85758 50474 0 0 25 0 1 0 22215795 329101312 77737 4089446400 134512640 136422188 4290658928 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77737 239 467 0 79878 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 321388 [startup+1422.31 s] /proc/loadavg: 2.00 2.03 2.14 3/197 18259 /proc/meminfo: memFree=30062732/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=321388 CPUtime=1422.33 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 83107 0 0 0 90088 52145 0 0 25 0 1 0 22215795 329101312 77737 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 80347 77737 239 467 0 79878 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 321388 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.13 3/197 18260 /proc/meminfo: memFree=30058820/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=325216 CPUtime=1482.33 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84056 0 0 0 94517 53716 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 81304 78686 239 467 0 80835 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 325216 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.12 3/197 18262 /proc/meminfo: memFree=30058744/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=325216 CPUtime=1542.32 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84059 0 0 0 98733 55499 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 81304 78686 239 467 0 80835 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 325216 [startup+1602.3 s] /proc/loadavg: 2.07 2.03 2.11 3/197 18264 /proc/meminfo: memFree=30058680/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=325216 CPUtime=1602.33 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84063 0 0 0 102847 57386 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 81304 78686 239 467 0 80835 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 325216 [startup+1662.3 s] /proc/loadavg: 2.02 2.02 2.10 3/197 18265 /proc/meminfo: memFree=30058616/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=325216 CPUtime=1662.33 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84067 0 0 0 107099 59134 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 81304 78686 239 467 0 80835 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 325216 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.09 3/197 18267 /proc/meminfo: memFree=30059044/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=325216 CPUtime=1722.33 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84071 0 0 0 111352 60881 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 81304 78686 239 467 0 80835 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 325216 [startup+1782.3 s] /proc/loadavg: 2.03 2.03 2.09 3/197 18268 /proc/meminfo: memFree=30059104/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=325216 CPUtime=1782.34 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84072 0 0 0 115550 62684 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 81304 78686 239 467 0 80835 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 325216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.02 2.08 3/197 18269 /proc/meminfo: memFree=30058968/32951124 swapFree=67111528/67111528 [pid=17996] ppid=17994 vsize=325216 CPUtime=1800.04 /proc/17996/stat : 17996 (pbct) R 17994 17996 16918 0 -1 4202496 84072 0 0 0 116776 63228 0 0 25 0 1 0 22215795 333021184 78686 4089446400 134512640 136422188 4290658928 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/17996/statm: 81304 78686 239 467 0 80835 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 325216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.02 CPU time (s): 1800.06 CPU user time (s): 1167.77 CPU system time (s): 632.293 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 325216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1167.77 system time used= 632.293 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84073 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= 1 involuntary context switches= 2936 runsolver used 2.68859 second user time and 5.97009 second system time The end
Begin job on node137 at 2010-07-08 00:00:33 IDJOB=2701431 IDBENCH=79578 IDSOLVER=1212 FILE ID=node137/2701431-1278540032 PBS_JOBID= 11239204 Free space on /tmp= 73564 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen07_10000_30r_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701431-1278540032/watcher-2701431-1278540032 -o /tmp/evaluation-result-2701431-1278540032/solver-2701431-1278540032 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701431-1278540032.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5c91a7da8edb093488f35ff23162ac3f RANDOM SEED=1286456965 node137.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.829 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.65 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.829 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.829 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.76 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.829 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.83 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.829 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.829 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 : 5246.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29689020 kB Buffers: 144012 kB Cached: 2230356 kB SwapCached: 0 kB Active: 1844928 kB Inactive: 1271896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29689020 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3172 kB Writeback: 0 kB AnonPages: 742880 kB Mapped: 20192 kB Slab: 79248 kB PageTables: 6204 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1638908 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= 73604 MiB End job on node137 at 2010-07-08 00:30:35