Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco-sat 1.1 | ? (TO) | 2400.04 | 2400.52 |
Name | QuasiGroups/QuasiGroups-elt-qg4/ QuasiGroup-4-24.xml |
MD5SUM | eed4597320c79808ee022b7591b3ea00 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1152 |
Number of constraints | 1106 |
Number of domains | 2 |
Minimum domain size | 24 |
Maximum domain size | 576 |
Distribution of domain sizes | [{"size":24,"count":576},{"size":576,"count":552}] |
Minimum variable degree | 0 |
Maximum variable degree | 555 |
Distribution of variable degrees | [{"degree":0,"count":24},{"degree":2,"count":552},{"degree":554,"count":24},{"degree":555,"count":552}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 577 |
Distribution of constraint arities | [{"arity":3,"count":552},{"arity":24,"count":1},{"arity":576,"count":1},{"arity":577,"count":552}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 552 |
Distribution of constraint types | [{"type":"intension","count":552},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":552}] |
Optimization problem | NO |
Type of objective |
7.19/7.28 c SAT : Variables: 345600 -- Clauses: 95545728 7.39/7.41 c root propagations : 15026 7.39/7.41 c restarts enabled, print stats at every restarts 7.39/7.41 c 7.39/7.41 c 7.39/7.41 c 7.39/7.41 c This is cosoco 1.0 -- 7.39/7.41 c 7.39/7.41 c ========================================[ Problem Statistics ]=========================================== 7.39/7.41 c | 7.39/7.41 c | Parse time : 6.40 s 7.39/7.41 c | 7.39/7.41 c | Variables: 1152 7.39/7.41 c | Domain Sizes: 24..576 7.39/7.41 c | 7.39/7.41 c | Constraints: 1176 7.39/7.41 c | Arity: 1..577 -- Unary: 24 -- Ternary: 552 7.39/7.41 c | 7.39/7.41 c | Types: 7.39/7.41 c | All Different: 48 7.39/7.41 c | Element Constant: 552 7.39/7.41 c | Intension: 552 7.39/7.41 c | Unary: 24 7.39/7.41 c | 7.39/7.41 c ========================================================================================================= 7.39/7.41 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 7.39/7.41 c remove useless variable y[0][0] 7.39/7.41 c remove useless variable y[1][1] 7.39/7.41 c remove useless variable y[2][2] 7.39/7.41 c remove useless variable y[3][3] 7.39/7.41 c remove useless variable y[4][4] 7.39/7.41 c remove useless variable y[5][5] 7.39/7.41 c remove useless variable y[6][6] 7.39/7.41 c remove useless variable y[7][7] 7.39/7.41 c remove useless variable y[8][8] 7.39/7.41 c remove useless variable y[9][9] 7.39/7.41 c remove useless variable y[10][10] 7.39/7.41 c remove useless variable y[11][11] 7.39/7.41 c remove useless variable y[12][12] 7.39/7.41 c remove useless variable y[13][13] 7.39/7.41 c remove useless variable y[14][14] 7.39/7.41 c remove useless variable y[15][15] 7.39/7.41 c remove useless variable y[16][16] 7.39/7.41 c remove useless variable y[17][17] 7.39/7.41 c remove useless variable y[18][18] 7.39/7.41 c remove useless variable y[19][19] 7.39/7.41 c remove useless variable y[20][20] 7.39/7.41 c remove useless variable y[21][21] 7.39/7.41 c remove useless variable y[22][22] 7.39/7.41 c remove useless variable y[23][23] 8.69/8.73 c 10 59 208961 167752 666 10 50 50 45 10.48/10.56 c 20 582 684440 425651 666 19 360 506 429 11.38/11.49 c 30 720 845368 520158 666 28 1 129 105 12.38/12.41 c 40 864 1004046 614689 666 38 135 135 122 13.89/13.99 c 50 1029 1285147 806547 666 46 148 153 135 13.99/14.00 c 60 1039 1285187 806587 666 55 1 1 0 13.99/14.00 c 70 1049 1285227 806627 666 64 1 1 0 15.29/15.38 c 80 1230 1539285 965142 666 71 1 171 72 16.88/16.99 c 90 1488 1841446 1150599 666 81 31 248 174 17.98/18.01 c 100 1658 2018291 1263180 666 91 27 161 129 18.08/18.17 c 101 1689 2039466 1270425 666 92 31 31 15 18.98/19.03 c 110 1841 2186501 1361167 666 101 26 144 117 19.68/19.75 c 120 1949 2304985 1448185 666 111 82 92 81 20.99/21.02 c 130 2113 2527057 1602948 666 121 141 155 139 21.78/21.88 c 140 2261 2676583 1684589 666 131 46 139 108 22.28/22.30 c 150 2341 2740440 1727224 666 141 36 71 59 23.59/23.69 c 160 2986 3002794 1931724 666 145 60 224 176 25.18/25.21 c 170 3247 3291261 2169955 666 155 36 251 192 26.58/26.67 c 180 3602 3599663 2364626 666 165 32 346 194 28.18/28.27 c 190 3793 3886408 2619084 666 175 32 182 121 28.88/28.90 c 200 3885 3988832 2698048 666 185 67 78 69 30.68/30.80 c 210 4388 4528336 2959228 666 194 426 485 427 30.98/31.00 c 211 4420 4553970 2971287 666 195 32 32 16 32.68/32.73 c 220 4898 4979375 3215339 666 202 31 467 265 33.48/33.55 c 230 4992 5112683 3311278 666 212 48 85 73 34.48/34.54 c 240 5150 5294394 3431571 666 217 45 140 116 35.98/36.04 c 250 5293 5564716 3634285 666 222 45 133 108 37.28/37.36 c 260 5453 5809167 3798871 666 229 46 147 119 38.08/38.16 c 270 5574 5948072 3880576 666 239 46 112 95 38.68/38.75 c 280 5669 6047687 3943120 666 243 39 85 69 40.18/40.22 c 290 5860 6338149 4140160 666 254 40 181 131 40.98/41.02 c 300 5984 6478472 4235790 666 264 44 115 80 42.58/42.69 c 310 6286 6883911 4477883 666 274 42 293 132 44.58/44.65 c 320 6636 7432000 4753760 666 284 38 332 222 45.98/46.03 c 330 6819 7692085 4932206 666 291 42 152 116 46.29/46.39 c 332 6878 7749185 4961808 666 293 58 58 38 47.58/47.68 c 340 7007 7971416 5122721 666 301 62 122 96 48.28/48.34 c 350 7108 8083314 5198646 666 311 62 92 80 49.58/49.62 c 360 7289 8325389 5357260 666 321 56 172 145 50.58/50.61 c 370 7422 8498724 5456809 666 331 58 124 103 52.28/52.33 c 380 7708 8912483 5704530 666 339 158 230 201 53.47/53.50 c 390 7857 9120178 5839989 666 349 58 140 104 54.98/55.05 c 400 8022 9405410 6050838 666 355 58 148 113 55.77/55.87 c 410 8129 9541824 6152840 666 365 79 98 85 57.07/57.15 c 420 8306 9786966 6310452 666 375 138 168 148 58.97/59.08 c 430 8711 10394179 6609734 666 384 53 384 265 61.07/61.15 c 440 9075 10975469 6889657 666 394 63 355 189 61.58/61.63 c 450 9142 11047160 6949896 666 404 58 58 52 63.07/63.13 c 460 9347 11350622 7131915 666 414 57 196 111 63.78/63.89 c 465 9444 11474406 7221142 666 418 53 93 69 65.57/65.64 c 470 9746 11914532 7462173 666 422 106 296 215 67.37/67.43 c 480 10038 12348665 7697823 666 428 31 282 158 69.38/69.48 c 490 10472 13107292 8027087 666 436 269 423 324 71.48/71.54 c 500 10878 13731027 8319840 666 446 35 397 190 72.27/72.38 c 510 10993 13869010 8432348 666 456 35 106 87 73.07/73.12 c 520 11098 13993931 8504432 666 466 86 96 84 74.27/74.32 c 530 11257 14213645 8650208 666 476 54 150 120 75.67/75.71 c 540 11453 14487401 8837286 666 482 53 149 117 76.47/76.56 c 550 11573 14635275 8921303 666 492 53 111 94 80.47/80.56 c 560 11783 15414471 9572650 666 504 49 192 108 81.17/81.21 c 570 11877 15520947 9637204 666 514 49 85 71 82.37/82.49 c 580 12009 15740221 9829194 666 524 49 123 94 83.67/83.71 c 590 12141 15952855 9992316 666 534 56 123 100 85.16/85.25 c 600 12264 16222690 10203714 666 544 49 114 92 86.57/86.69 c 610 12413 16483909 10378468 666 551 49 137 102 86.98/87.01 c 611 12466 16532637 10400984 666 552 53 53 26 87.77/87.84 c 620 12590 16679659 10476228 666 561 26 116 87 88.47/88.57 c 630 12700 16806103 10550106 666 571 101 101 91 89.18/89.30 c 640 12800 16928136 10628619 666 577 86 87 79 90.57/90.64 c 650 12981 17190171 10789648 666 587 32 172 128 92.27/92.36 c 660 13204 17578309 10994383 666 594 56 197 162 95.07/95.13 c 670 13346 18081797 11436998 666 604 53 133 112 96.37/96.44 c 680 13516 18332646 11603198 666 614 37 161 128 98.36/98.49 c 690 13879 18935794 11875321 666 624 38 344 230 99.96/100.08 c 700 14019 19220639 12050135 666 634 37 131 110 101.76/101.88 c 710 14159 19544122 12314490 666 644 37 131 110 103.86/103.90 c 720 14576 20230609 12621314 666 653 38 404 203 104.66/104.73 c 730 14699 20374329 12702554 666 663 33 114 88 105.76/105.88 c 740 14844 20577397 12841674 666 673 37 136 112 107.87/107.92 c 750 15261 21282748 13143568 666 683 200 402 268 108.97/109.02 c 760 15379 21467369 13245479 666 688 33 102 79 109.56/109.65 c 770 15480 21575441 13304670 666 698 55 92 77 109.76/109.84 c 771 15513 21602895 13315262 666 699 33 33 16 111.26/111.34 c 780 15647 21866668 13523948 666 703 26 126 92 112.56/112.62 c 790 15789 22095977 13685011 666 713 37 133 103 113.46/113.58 c 800 15924 22265367 13805855 666 723 33 126 103 114.17/114.21 c 810 16021 22370368 13871105 666 733 33 88 75 115.86/115.91 c 820 16272 22762261 14095270 666 743 85 242 178 117.46/117.58 c 830 16558 23159039 14313758 666 753 91 277 159 118.26/118.32 c 840 16671 23285845 14391546 666 757 102 103 93 120.36/120.40 c 850 17102 24031024 14731329 666 765 225 419 338 122.36/122.46 c 860 17456 24645601 15011056 666 775 33 308 249 123.17/123.26 c 870 17559 24777307 15100858 666 785 63 94 80 125.06/125.19 c 880 17906 25327363 15378757 666 795 32 308 205 126.76/126.83 c 890 18038 25615683 15632539 666 805 35 123 103 128.36/128.44 c 900 18287 25975349 15844428 666 815 60 240 162 129.96/130.02 c 910 18417 26246631 16073068 666 825 35 121 90 131.76/131.82 c 920 18719 26703322 16315369 666 835 93 292 159 133.76/133.89 c 930 19100 27306247 16603124 666 845 33 372 173 135.86/135.92 c 940 19541 27988004 16923685 666 854 60 431 218 137.06/137.17 c 947 19679 28207641 17094916 666 861 34 132 97 138.57/138.66 c 950 19920 28548760 17297773 666 864 33 239 106 139.86/139.98 c 960 20046 28770087 17489929 666 874 33 117 85 140.66/140.77 c 970 20168 28908035 17578994 666 877 111 111 100 142.55/142.64 c 980 20465 29368782 17816260 666 887 35 288 178 144.06/144.14 c 990 20591 29623575 18046113 666 897 33 117 97 145.95/146.08 c 1000 20949 30203676 18327851 666 907 85 349 237 147.96/148.05 c 1010 21268 30711834 18580408 666 915 35 307 210 149.86/149.94 c 1020 21668 31289300 18864996 666 921 110 391 283 151.66/151.72 c 1030 21795 31593948 19122820 666 931 114 117 104 155.96/156.01 c 1040 22060 32452974 19836514 666 941 35 242 166 157.85/157.92 c 1050 22412 32972018 20109304 666 951 57 340 136 158.65/158.70 c 1060 22526 33102028 20188443 666 961 33 105 86 159.95/160.03 c 1070 22656 33332950 20386982 666 971 32 121 101 161.05/161.13 c 1080 22801 33532581 20521175 666 981 33 136 101 161.95/162.06 c 1090 22934 33694762 20629244 666 991 33 124 94 163.96/164.05 c 1100 23364 34343703 20941670 666 1000 28 414 207 165.15/165.22 c 1110 23511 34550655 21098746 666 1008 32 135 89 166.65/166.75 c 1120 23756 34886386 21298317 666 1011 32 236 178 168.35/168.42 c 1130 24044 35278518 21535836 666 1020 42 275 138 169.05/169.18 c 1140 24156 35406570 21630926 666 1030 32 103 82 169.25/169.36 c 1141 24189 35431601 21641651 666 1031 33 33 16 171.05/171.13 c 1150 24527 35912746 21913154 666 1040 32 327 207 171.75/171.83 c 1160 24623 36026215 21987992 666 1050 42 87 75 173.45/173.59 c 1170 24983 36543909 22268956 666 1058 33 342 244 174.24/174.38 c 1180 25095 36673436 22362091 666 1068 42 103 85 176.14/176.23 c 1190 25469 37237889 22653497 666 1078 39 358 267 177.64/177.70 c 1200 25595 37493811 22844640 666 1088 28 117 91 179.45/179.57 c 1210 25941 38002086 23109392 666 1096 60 337 236 180.05/180.13 c 1220 26025 38092160 23173580 666 1106 42 75 65 181.95/182.02 c 1230 26388 38624649 23447495 666 1115 60 352 225 182.45/182.58 c 1240 26478 38715158 23500848 666 1125 42 81 70 184.35/184.43 c 1250 26814 39238700 23767428 666 1135 29 327 212 184.95/185.06 c 1260 26917 39344358 23836314 666 1145 42 94 79 186.84/186.96 c 1270 27354 40056460 24144323 666 1155 29 428 217 188.34/188.46 c 1280 27599 40414787 24365537 666 1166 43 235 169 189.44/189.57 c 1290 27766 40645670 24521381 666 1176 42 158 117 190.25/190.32 c 1300 27866 40783740 24623277 666 1186 41 85 73 191.54/191.67 c 1310 28024 41060181 24824787 666 1195 43 149 119 193.44/193.59 c 1320 28194 41485045 25177314 666 1205 118 154 135 195.04/195.14 c 1330 28398 41836260 25450058 666 1212 156 163 145 195.85/195.92 c 1340 28536 41992198 25545819 666 1216 106 128 109 197.44/197.59 c 1350 28835 42442572 25797318 666 1226 42 290 151 198.05/198.14 c 1352 28933 42547305 25859958 666 1228 30 97 42 199.44/199.59 c 1360 29182 42897803 26071448 666 1234 60 220 147 200.34/200.48 c 1370 29335 43078144 26192102 666 1240 42 143 106 201.73/201.85 c 1380 29506 43361220 26401969 666 1245 30 160 122 202.73/202.86 c 1390 29651 43563932 26547097 666 1251 114 135 120 204.03/204.17 c 1400 29830 43843349 26732742 666 1257 29 164 123 205.64/205.72 c 1410 30102 44240845 26953347 666 1264 39 263 190 206.74/206.83 c 1420 30267 44469603 27103377 666 1274 94 156 121 208.14/208.26 c 1430 30517 44827461 27317050 666 1277 151 219 191 209.44/209.58 c 1440 30733 45135089 27512685 666 1282 37 201 141 211.34/211.42 c 1450 31156 45821565 27833447 666 1291 37 408 279 212.64/212.71 c 1460 31380 46119551 28022750 666 1301 37 215 145 214.45/214.58 c 1470 31816 46891289 28372789 666 1311 234 411 333 215.64/215.72 c 1480 32000 47134521 28537139 666 1321 37 175 143 216.34/216.42 c 1490 32113 47264385 28622223 666 1331 39 104 80 218.04/218.12 c 1500 32454 47782996 28895129 666 1340 148 329 230 219.64/219.76 c 1510 32765 48254278 29150659 666 1346 39 285 194 221.53/221.69 c 1520 33206 49044971 29502465 666 1352 39 426 311 222.33/222.41 c 1530 33324 49182652 29601051 666 1362 35 109 92 223.93/224.04 c 1540 33645 49655826 29851671 666 1366 35 311 210 224.93/225.03 c 1550 33806 49858245 29979770 666 1370 113 149 124 225.93/226.09 c 1560 33977 50075518 30138135 666 1380 130 151 132 227.74/227.83 c 1570 34369 50627017 30446060 666 1385 42 347 214 229.43/229.54 c 1580 34714 51150174 30719104 666 1394 141 333 230 230.43/230.55 c 1585 34881 51361235 30863070 666 1399 163 163 135 231.73/231.81 c 1590 35088 51644903 31046157 666 1404 105 203 137 232.73/232.82 c 1600 35229 51839943 31198600 666 1405 123 124 111 234.53/234.60 c 1610 35612 52460171 31510210 666 1409 144 342 290 235.63/235.71 c 1620 35786 52695880 31675957 666 1419 35 165 126 237.23/237.31 c 1630 36145 53194787 31978857 666 1424 35 330 225 239.03/239.16 c 1640 36608 53978076 32319236 666 1431 38 425 342 240.53/240.60 c 1650 36859 54338199 32533513 666 1441 38 242 192 242.03/242.19 c 1660 37208 54823613 32810730 666 1451 73 338 254 243.93/244.01 c 1670 37580 55426502 33096113 666 1461 34 360 183 245.73/245.86 c 1680 38006 56150097 33437235 666 1469 34 395 258 247.43/247.60 c 1690 38382 56716166 33752375 666 1477 31 336 228 249.23/249.33 c 1700 38784 57302076 34047814 666 1487 31 387 256 250.73/250.87 c 1710 39082 57736651 34299341 666 1495 31 283 167 252.32/252.48 c 1720 39420 58219742 34581410 666 1505 31 315 215 254.13/254.27 c 1730 39855 58939869 34898124 666 1514 30 425 275 255.82/255.93 c 1740 40229 59483982 35186757 666 1520 30 350 243 257.52/257.69 c 1750 40613 60069542 35484716 666 1530 31 375 234 259.32/259.44 c 1760 41010 60656137 35765703 666 1540 30 385 253 260.63/260.76 c 1770 41252 60979259 35969895 666 1550 30 233 186 262.32/262.41 c 1780 41625 61494664 36256600 666 1560 30 363 139 264.12/264.25 c 1790 42057 62251897 36588392 666 1570 30 422 293 265.92/266.05 c 1800 42506 62990335 36920007 666 1576 30 424 331 267.92/268.02 c 1810 42980 63817141 37266795 666 1582 30 437 322 269.62/269.74 c 1820 43333 64350703 37568816 666 1592 27 338 259 271.52/271.67 c 1830 43790 65243348 37924038 666 1600 27 423 331 273.42/273.51 c 1840 44202 65929085 38244589 666 1607 27 392 262 273.52/273.64 c 1841 44229 65948047 38249802 666 1608 27 27 13 275.32/275.44 c 1850 44684 66720243 38590192 666 1617 26 432 338 276.42/276.54 c 1860 44824 66934336 38737552 666 1627 41 131 102 278.12/278.29 c 1870 45224 67575564 39058973 666 1633 80 385 309 280.01/280.13 c 1880 45667 68325794 39401785 666 1642 113 426 310 280.81/280.94 c 1890 45803 68484273 39505679 666 1654 101 125 103 281.81/281.91 c 1900 45932 68668076 39633718 666 1664 55 120 94 283.11/283.24 c 1910 46185 68995115 39838936 666 1668 173 244 208 284.82/284.99 c 1920 46534 69544170 40132198 666 1675 196 326 278 286.61/286.73 c 1930 46901 70086227 40414067 666 1679 231 357 223 288.31/288.43 c 1940 47304 70691236 40724099 666 1682 177 380 322 290.32/290.47 c 1950 47761 71537186 41100437 666 1689 311 417 325 292.12/292.24 c 1960 48106 72086311 41389118 666 1692 306 310 280 294.01/294.14 c 1970 48566 72900778 41742705 666 1698 177 446 357 296.21/296.37 c 1980 49004 73661902 42157123 666 1711 62 419 295 297.71/297.87 c 1990 49260 74046317 42394832 666 1718 38 221 165 299.12/299.25 c 2000 49499 74387173 42604264 666 1722 38 212 173 301.01/301.12 c 2010 49893 75099949 42974735 666 1724 356 381 337 302.81/302.97 c 2020 50334 75806572 43300441 666 1732 35 418 283 304.41/304.57 c 2030 50609 76225517 43556147 666 1737 35 220 181 306.11/306.26 c 2040 50964 76755770 43848491 666 1743 173 344 294 307.80/308.00 c 2050 51399 77432581 44161827 666 1752 32 426 257 309.50/309.66 c 2060 51745 77955798 44461984 666 1760 34 334 272 311.40/311.57 c 2070 52201 78801570 44819290 666 1768 34 431 339 313.11/313.26 c 2080 52581 79353234 45116467 666 1773 34 363 297 314.71/314.87 c 2090 52921 79839297 45404991 666 1781 34 317 260 316.31/316.44 c 2100 53246 80271805 45664217 666 1789 34 315 221 318.21/318.30 c 2110 53712 81105208 46032789 666 1796 34 438 310 319.91/320.10 c 2120 54121 81732204 46339477 666 1805 34 392 245 321.61/321.72 c 2122 54454 82197677 46594147 666 1807 34 332 122 323.31/323.46 c 2130 54814 82725160 46879756 666 1813 34 335 249 324.01/324.12 c 2140 54923 82848728 46953464 666 1823 38 100 79 324.91/325.05 c 2150 55089 83036879 47078045 666 1828 37 132 104 326.71/326.82 c 2160 55469 83654105 47391116 666 1838 33 351 281 328.00/328.18 c 2170 55633 83933962 47590587 666 1845 33 151 117 329.30/329.47 c 2180 55856 84239038 47792216 666 1850 33 211 143 330.90/331.01 c 2190 56151 84656692 48060512 666 1855 31 275 198 332.70/332.80 c 2200 56584 85345573 48378157 666 1865 31 424 275 334.60/334.70 c 2210 57014 86051930 48711764 666 1873 31 404 264 336.30/336.47 c 2220 57393 86620838 49005274 666 1881 31 354 243 337.80/337.96 c 2230 57636 86982979 49221406 666 1891 31 231 136 339.30/339.47 c 2240 57949 87405505 49462907 666 1901 31 304 191 341.01/341.19 c 2250 58364 88058529 49794694 666 1908 31 402 286 342.60/342.78 c 2260 58733 88564450 50079906 666 1916 31 340 275 344.40/344.50 c 2270 59149 89215761 50390168 666 1924 31 405 304 346.10/346.26 c 2280 59567 89927566 50714606 666 1934 31 403 305 347.90/348.00 c 2290 59963 90549637 51050551 666 1941 31 375 268 349.70/349.82 c 2300 60385 91231809 51371864 666 1945 31 398 321 350.80/350.91 c 2310 60558 91467615 51527322 666 1955 31 164 124 352.59/352.73 c 2320 61021 92232900 51864431 666 1964 31 430 291 353.59/353.78 c 2330 61181 92450122 52034155 666 1971 31 138 106 355.20/355.40 c 2340 61510 92919644 52303965 666 1980 31 316 154 356.99/357.11 c 2350 61910 93549952 52614135 666 1988 31 382 299 358.69/358.85 c 2360 62336 94193236 52935833 666 1998 31 410 260 360.39/360.57 c 2370 62726 94786565 53236736 666 2008 31 381 280 362.19/362.32 c 2380 63155 95499416 53561777 666 2018 31 416 308 364.00/364.13 c 2390 63545 96183343 53879699 666 2025 31 375 291 365.59/365.76 c 2400 63883 96683221 54162774 666 2028 31 314 257 367.40/367.57 c 2410 64319 97391856 54502495 666 2035 31 417 267 369.29/369.43 c 2420 64760 98157545 54844860 666 2042 31 408 316 371.09/371.23 c 2430 65205 98963924 55204681 666 2048 31 422 335 371.19/371.39 c 2431 65236 98988490 55214927 666 2049 31 31 15 372.69/372.86 c 2440 65508 99353684 55447538 666 2058 30 264 96 374.59/374.76 c 2450 65964 100195466 55801948 666 2064 31 428 309 375.69/375.88 c 2460 66124 100421560 55977662 666 2071 31 133 100 377.59/377.72 c 2470 66533 101066951 56278735 666 2080 31 400 191 379.39/379.51 c 2480 66917 101635546 56562727 666 2089 31 371 210 381.08/381.20 c 2490 67260 102160587 56859426 666 2099 31 320 216 382.80/382.99 c 2500 67666 102847874 57201229 666 2105 31 387 268 384.69/384.83 c 2510 68072 103565247 57568065 666 2112 31 384 243 386.39/386.52 c 2520 68472 104149350 57867063 666 2120 31 371 244 387.89/388.00 c 2530 68762 104553707 58123595 666 2126 31 268 179 388.69/388.86 c 2540 68894 104718091 58220910 666 2136 31 123 92 390.39/390.60 c 2550 69257 105259577 58518743 666 2145 31 353 184 391.99/392.16 c 2560 69562 105669948 58760111 666 2155 31 296 129 393.79/393.93 c 2570 69944 106235515 59055649 666 2164 31 361 192 395.48/395.60 c 2580 70351 106826736 59365825 666 2171 31 378 260 397.09/397.27 c 2590 70708 107369809 59678559 666 2175 31 329 267 398.78/398.95 c 2600 71092 107931892 59990878 666 2180 31 356 231 400.58/400.74 c 2610 71547 108664200 60341977 666 2188 31 426 267 402.28/402.41 c 2620 71880 109148802 60624418 666 2194 31 310 197 403.18/403.32 c 2630 72036 109337115 60751269 666 2204 31 147 113 404.18/404.34 c 2640 72185 109539676 60876231 666 2209 31 137 112 405.89/406.07 c 2650 72602 110198855 61203493 666 2216 31 407 284 407.18/407.32 c 2660 72752 110444316 61378343 666 2226 31 140 107 408.68/408.88 c 2670 73083 110920787 61673946 666 2232 31 313 252 410.48/410.70 c 2680 73548 111724497 62006198 666 2242 31 439 281 412.38/412.53 c 2690 73963 112440787 62336584 666 2247 44 387 299 414.19/414.30 c 2700 74378 113103600 62656320 666 2251 31 400 282 415.98/416.10 c 2710 74804 113857308 62999146 666 2261 31 406 267 417.78/417.91 c 2720 75234 114546391 63323036 666 2271 31 400 296 419.48/419.64 c 2730 75638 115161350 63626338 666 2281 31 395 256 421.29/421.42 c 2740 76066 115864899 63955200 666 2289 31 403 292 422.18/422.38 c 2750 76231 116064336 64086330 666 2299 31 156 130 423.98/424.14 c 2760 76639 116742355 64404139 666 2307 31 383 281 425.59/425.72 c 2770 76975 117220142 64687357 666 2310 31 314 231 426.98/427.16 c 2771 77243 117592384 64909519 666 2311 268 268 134 428.48/428.60 c 2780 77515 117973868 65157178 666 2319 31 264 209 429.98/430.16 c 2790 77846 118443972 65434943 666 2324 31 321 224 431.68/431.89 c 2800 78254 119056176 65724793 666 2334 31 399 215 433.48/433.66 c 2810 78672 119741620 66051755 666 2341 31 397 288 435.18/435.37 c 2820 79058 120303690 66350958 666 2351 31 371 261 436.98/437.10 c 2830 79436 120886413 66667996 666 2360 31 367 241 437.88/438.04 c 2840 79598 121083562 66799901 666 2370 31 153 127 439.67/439.81 c 2850 80023 121802370 67133900 666 2379 31 410 328 441.37/441.56 c 2860 80430 122461504 67451498 666 2388 31 397 305 441.87/442.02 c 2870 80510 122542668 67506638 666 2398 31 71 60 443.28/443.47 c 2880 80747 122903500 67727319 666 2404 31 216 169 444.17/444.39 c 2890 80903 123093923 67856738 666 2414 31 147 113 445.97/446.16 c 2900 81315 123776268 68182119 666 2423 31 394 299 447.77/447.93 c 2910 81725 124411544 68491492 666 2428 31 374 269 449.57/449.76 c 2920 82148 125075404 68799688 666 2437 144 397 252 451.17/451.34 c 2930 82459 125521091 69050679 666 2447 41 302 182 453.08/453.22 c 2940 82919 126281490 69397891 666 2456 31 402 255 454.57/454.76 c 2950 83204 126706970 69670696 666 2461 31 263 187 456.17/456.38 c 2960 83551 127206172 69955099 666 2466 31 328 231 457.27/457.41 c 2970 83721 127421949 70102526 666 2470 31 161 116 459.07/459.27 c 2980 84146 128134617 70436353 666 2478 31 401 269 460.47/460.60 c 2990 84397 128461480 70642573 666 2488 31 242 179 461.67/461.88 c 3000 84616 128765051 70831514 666 2498 31 210 161 463.37/463.50 c 3010 84958 129258151 71119011 666 2505 176 318 240 464.07/464.21 c 3020 85069 129394712 71208908 666 2515 31 102 81 465.77/465.90 c 3030 85457 129953043 71507708 666 2525 31 375 176 467.96/468.13 c 3040 85603 130397423 71868278 666 2535 31 135 94 468.86/469.04 c 3050 85730 130572593 71977013 666 2545 31 118 93 470.56/470.74 c 3060 86124 131171675 72280876 666 2552 31 369 271 471.77/471.96 c 3070 86301 131429415 72445256 666 2562 31 168 132 473.47/473.61 c 3080 86592 131881297 72707001 666 2571 31 278 202 474.27/474.49 c 3090 86724 132052186 72800954 666 2581 31 123 103 476.28/476.42 c 3100 87167 132846913 73135772 666 2590 318 413 340 477.07/477.28 c 3110 87297 133015687 73228595 666 2600 31 121 94 478.07/478.28 c 3120 87438 133213013 73367651 666 2610 31 132 93 478.97/479.18 c 3130 87580 133389986 73493422 666 2620 31 133 91 479.77/479.93 c 3140 87703 133534916 73579176 666 2630 101 114 100 480.07/480.27 c 3142 87763 133595222 73612651 666 2632 31 59 30 481.87/482.06 c 3150 88218 134375478 73958854 666 2638 31 433 298 483.56/483.77 c 3160 88637 134994734 74277088 666 2648 31 408 239 484.36/484.58 c 3170 88762 135150654 74367877 666 2658 31 116 90 486.26/486.49 c 3180 89184 135931054 74713662 666 2667 36 395 300 487.96/488.15 c 3190 89565 136490582 75005559 666 2671 31 359 265 489.06/489.22 c 3200 89706 136698116 75144583 666 2681 31 132 100 490.36/490.51 c 3210 89865 136960057 75328344 666 2691 31 150 114 491.86/492.06 c 3220 90154 137384913 75588159 666 2700 31 277 167 492.77/492.96 c 3230 90310 137571077 75718092 666 2710 31 147 122 494.36/494.56 c 3240 90617 138023759 75994329 666 2717 31 271 200 496.16/496.31 c 3250 91021 138645795 76291925 666 2724 31 392 243 497.96/498.19 c 3260 91459 139448487 76647389 666 2731 31 424 306 499.76/499.94 c 3270 91876 140115437 76978162 666 2741 31 406 265 501.57/501.74 c 3280 92284 140795296 77304626 666 2750 31 399 311 503.16/503.36 c 3290 92614 141290905 77595981 666 2756 31 312 245 504.96/505.15 c 3300 93052 141991408 77931589 666 2766 31 411 282 506.76/506.95 c 3310 93480 142659264 78244121 666 2772 31 405 294 508.46/508.60 c 3320 93863 143215614 78531671 666 2779 31 367 266 510.06/510.26 c 3330 94262 143802186 78830965 666 2788 31 385 245 511.66/511.87 c 3340 94607 144301818 79124060 666 2797 31 322 235 512.76/512.92 c 3350 94775 144525873 79284871 666 2799 31 159 132 514.46/514.67 c 3360 95201 145189460 79584134 666 2808 31 408 293 516.26/516.45 c 3370 95599 145846888 79889480 666 2816 31 389 275 518.06/518.26 c 3380 96000 146563237 80236295 666 2823 31 379 298 518.66/518.89 c 3390 96101 146680612 80302857 666 2833 31 92 77 520.66/520.83 c 3400 96525 147465364 80642309 666 2842 145 405 315 521.96/522.10 c 3410 96734 147763656 80826818 666 2848 31 197 163 522.96/523.10 c 3420 96895 147965343 80959781 666 2854 31 130 100 524.36/524.59 c 3430 97168 148366120 81231915 666 2863 31 256 191 526.25/526.43 c 3440 97594 149107633 81566012 666 2870 31 408 276 527.75/527.98 c 3450 97918 149554265 81830400 666 2877 31 309 221 528.65/528.86 c 3460 98048 149720099 81957603 666 2887 31 121 90 530.35/530.53 c 3470 98391 150235042 82256659 666 2896 31 317 256 531.95/532.16 c 3480 98724 150729410 82553529 666 2903 31 315 245 532.75/532.98 c 3490 98850 150880905 82668517 666 2913 31 117 85 534.65/534.86 c 3500 99281 151704976 83038049 666 2918 211 410 338 536.35/536.55 c 3510 99665 152270807 83339590 666 2921 61 362 300 538.15/538.33 c 3520 100095 152960117 83655917 666 2930 31 421 243 539.85/540.03 c 3530 100481 153517921 83954293 666 2940 31 377 212 541.65/541.81 c 3540 100788 154004526 84244823 666 2950 31 298 126 543.25/543.48 c 3550 101063 154431520 84507839 666 2960 31 266 101 543.45/543.64 c 3551 101094 154455502 84518108 666 2961 31 31 15 545.14/545.38 c 3560 101517 155117854 84851725 666 2968 30 393 263 546.24/546.46 c 3570 101683 155333727 85020874 666 2978 31 157 96 547.54/547.77 c 3580 101910 155640290 85212128 666 2988 95 218 160 548.75/548.91 c 3590 102051 155865047 85361947 666 2998 31 132 98 549.85/550.09 c 3600 102231 156109066 85551881 666 3004 31 135 112 550.95/551.16 c 3610 102396 156332334 85722268 666 3014 31 156 104 552.54/552.76 c 3620 102750 156836864 86003297 666 3024 31 343 233 554.35/554.58 c 3630 103189 157624002 86365290 666 3032 31 420 285 556.04/556.20 c 3640 103527 158111655 86645038 666 3040 162 328 256 557.14/557.31 c 3650 103693 158346080 86828677 666 3050 31 157 131 558.75/558.91 c 3660 104052 158863487 87107994 666 3059 171 344 283 560.44/560.66 c 3670 104445 159487011 87435483 666 3064 142 369 300 562.14/562.35 c 3680 104802 160027620 87721916 666 3069 146 343 258 563.85/564.06 c 3690 105200 160619215 88026816 666 3074 172 364 311 569.75/569.99 c 3700 105412 161687192 88828299 666 3091 123 149 123 571.24/571.42 c 3710 105661 162050340 89055337 666 3099 41 212 148 573.54/573.73 c 3720 105809 162520564 89478460 666 3109 103 137 120 575.44/575.66 c 3730 106265 163368274 89843137 666 3115 309 425 360 576.94/577.16 c 3740 106414 163662612 90081255 666 3125 90 140 117 578.74/578.98 c 3750 106809 164312550 90394728 666 3132 290 369 312 580.54/580.71 c 3760 107075 164770220 90625821 666 3142 103 257 176 582.24/582.40 c 3770 107512 165426816 90932898 666 3151 72 424 314 584.04/584.25 c 3780 107673 165800743 91205564 666 3154 118 147 130 585.83/586.01 c 3790 108116 166474712 91521241 666 3164 138 430 280 587.53/587.71 c 3800 108486 167038814 91818022 666 3172 288 350 301 589.23/589.47 c 3810 108848 167615836 92130269 666 3180 178 337 245 590.73/590.95 c 3820 109058 167938317 92337650 666 3190 120 200 167 592.53/592.80 c 3830 109510 168692760 92672821 666 3197 107 416 320 594.43/594.65 c 3840 109942 169442151 92997660 666 3206 212 419 347 595.04/595.26 c 3850 110042 169556234 93057378 666 3216 91 91 82 596.63/596.89 c 3860 110410 170082322 93351345 666 3226 127 359 239 597.43/597.67 c 3870 110525 170231086 93441762 666 3231 97 99 88 599.35/599.51 c 3880 110665 170593662 93734666 666 3241 80 131 114 599.94/600.11 c 3890 110767 170706397 93799914 666 3251 58 93 78 601.64/601.84 c 3900 111185 171341047 94134026 666 3256 150 380 321 603.04/603.23 c 3910 111369 171637976 94345917 666 3266 66 175 105 604.44/604.64 c 3920 111570 171959041 94540147 666 3272 97 192 155 605.74/605.96 c 3930 111710 172217029 94729605 666 3282 86 131 113 606.94/607.11 c 3940 111885 172459917 94892036 666 3292 59 166 120 608.73/608.91 c 3950 112285 173140481 95230476 666 3301 335 364 323 609.53/609.72 c 3960 112414 173298562 95326371 666 3311 98 120 107 611.13/611.34 c 3970 112617 173680136 95548307 666 3318 57 187 144 612.23/612.45 c 3980 112771 173903185 95724972 666 3328 66 145 105 613.64/613.82 c 3990 112969 174204732 95917274 666 3338 66 189 126 614.53/614.72 c 4000 113110 174384777 96030647 666 3348 49 132 111 615.03/615.27 c 4001 113207 174490665 96088446 666 3349 97 97 48 616.13/616.34 c 4010 113363 174705607 96238335 666 3358 59 148 110 617.33/617.52 c 4020 113579 174977602 96413727 666 3368 149 207 151 618.23/618.49 c 4030 113713 175168657 96549995 666 3370 69 125 108 619.24/619.44 c 4040 113857 175357589 96679242 666 3380 66 135 108 620.13/620.35 c 4050 114000 175538634 96796545 666 3390 97 134 117 621.72/621.93 c 4060 114216 175897777 97030852 666 3398 97 207 160 622.92/623.19 c 4070 114407 176177498 97204544 666 3408 97 182 136 623.82/624.04 c 4080 114536 176343245 97309497 666 3418 46 120 102 624.92/625.10 c 4090 114676 176551129 97451588 666 3428 76 131 93 626.02/626.20 c 4100 114837 176773881 97601633 666 3438 85 152 106 626.83/627.09 c 4110 114974 176948126 97708673 666 3448 86 128 106 627.62/627.85 c 4120 115100 177096580 97810556 666 3453 43 117 91 629.13/629.38 c 4130 115254 177404399 98018045 666 3456 97 137 120 630.62/630.81 c 4140 115495 177754554 98247839 666 3463 62 216 157 632.33/632.59 c 4150 115934 178439880 98576865 666 3470 45 408 262 633.22/633.41 c 4160 116041 178596462 98677557 666 3480 51 98 84 634.53/634.71 c 4170 116279 178909840 98886932 666 3483 60 229 178 635.92/636.11 c 4180 116491 179232736 99082465 666 3491 44 203 154 636.92/637.14 c 4190 116644 179442685 99233129 666 3501 47 144 93 638.22/638.40 c 4200 116857 179728626 99417708 666 3506 60 201 131 638.93/639.19 c 4210 116985 179883329 99514442 666 3516 56 119 85 640.03/640.27 c 4220 117131 180101839 99671943 666 3526 76 137 108 641.02/641.27 c 4230 117298 180311854 99819679 666 3536 57 158 124 641.82/642.08 c 4240 117417 180466925 99919764 666 3546 59 110 61 643.22/643.46 c 4250 117689 180830696 100146304 666 3556 45 262 148 644.62/644.88 c 4260 117886 181155741 100370743 666 3565 42 182 132 645.82/646.03 c 4270 118041 181387128 100529488 666 3575 37 146 95 646.82/647.07 c 4280 118215 181608896 100685681 666 3585 35 165 114 648.02/648.26 c 4290 118381 181856635 100854351 666 3595 41 157 115 649.62/649.80 c 4300 118668 182290036 101108080 666 3603 31 275 152 650.32/650.54 c 4310 118777 182428863 101201646 666 3613 56 99 73 651.92/652.13 c 4320 119137 182940369 101485396 666 3619 204 348 295 653.62/653.81 c 4330 119430 183398691 101740976 666 3629 36 284 156 654.22/654.45 c 4340 119536 183518834 101812154 666 3639 56 97 73 656.02/656.22 c 4350 119923 184114290 102114802 666 3646 31 369 202 656.82/657.06 c 4360 120055 184277502 102219014 666 3656 32 123 82 657.73/657.92 c 4370 120201 184451937 102339777 666 3666 33 137 91 658.73/658.98 c 4380 120358 184667341 102487621 666 3676 31 147 85 659.93/660.18 c 4390 120562 184938480 102668511 666 3683 52 195 116 660.72/660.98 c 4400 120688 185093558 102764852 666 3693 31 117 79 661.62/661.84 c 4410 120824 185262596 102877018 666 3703 31 127 72 662.42/662.62 c 4420 120953 185415258 102976602 666 3713 31 120 63 663.02/663.20 c 4430 121050 185524939 103038100 666 3723 31 88 60 663.52/663.72 c 4440 121138 185620516 103103339 666 3733 31 74 52 665.12/665.37 c 4450 121482 186099128 103378995 666 3741 31 315 154 666.42/666.64 c 4460 121669 186373710 103555448 666 3748 27 169 92 666.92/667.18 c 4470 121755 186472752 103627046 666 3758 28 77 62 668.72/668.92 c 4480 122145 187081557 103967731 666 3766 29 357 235 669.72/669.97 c 4490 122322 187307226 104127115 666 3776 31 168 116 669.92/670.13 c 4493 122355 187332872 104140153 666 3779 28 31 22 670.72/670.93 c 4500 122498 187495904 104263447 666 3786 30 137 80 671.92/672.16 c 4510 122673 187754410 104429648 666 3796 38 166 117 673.72/673.92 c 4520 123087 188432049 104760041 666 3805 31 399 252 675.01/675.28 c 4530 123337 188768964 104964177 666 3815 39 241 179 676.71/676.98 c 4540 123718 189339677 105258961 666 3823 31 359 230 677.91/678.13 c 4550 123874 189570056 105431033 666 3833 28 144 66 678.41/678.67 c 4560 123964 189670814 105495151 666 3843 27 81 64 680.11/680.37 c 4570 124295 190196222 105783506 666 3851 27 315 216 680.72/680.91 c 4580 124385 190295555 105846724 666 3861 28 81 55 681.82/682.05 c 4590 124529 190523160 105992953 666 3862 135 135 122 682.81/683.02 c 4600 124685 190722770 106160234 666 3870 29 134 78 683.81/684.04 c 4610 124833 190926989 106308395 666 3878 29 136 80 685.61/685.83 c 4620 125260 191666451 106654471 666 3885 39 397 273 686.51/686.77 c 4630 125423 191858161 106792449 666 3895 29 154 95 687.91/688.14 c 4640 125681 192190585 107018551 666 3905 32 249 103 689.01/689.21 c 4650 125820 192404677 107163190 666 3912 32 126 89 690.61/690.90 c 4660 126208 192981046 107467772 666 3920 28 353 163 692.41/692.64 c 4670 126568 193555919 107780874 666 3926 167 331 263 694.11/694.38 c 4680 126967 194183670 108092715 666 3936 31 390 219 695.01/695.24 conflict 43lvl : 120 bt120-11856:0(86864)X383186294 696.31/696.54 c 4690 127109 194604758 108438723 666 3947 32 132 93 696.71/696.95 c 4700 127175 194676971 108480468 666 3957 57 57 51 698.11/698.37 c 4710 127375 194992047 108685154 666 3965 32 185 117 699.90/700.11 c 4720 127798 195638058 109007240 666 3975 32 407 201 701.50/701.79 c 4730 128187 196199999 109300992 666 3984 32 367 209 703.20/703.47 c 4740 128597 196796057 109609366 666 3991 32 370 214 704.00/704.24 c 4750 128713 196939360 109705617 666 4001 32 107 73 704.60/704.83 c 4760 128812 197050281 109779636 666 4011 35 90 65 705.40/705.63 c 4770 128937 197203487 109888543 666 4014 73 116 97 706.01/706.28 c 4780 129046 197328223 109962881 666 4024 32 100 70 707.50/707.79 c 4790 129335 197741267 110222072 666 4032 32 271 166 708.70/708.94 c 4800 129486 197965937 110386209 666 4042 32 142 88 710.20/710.49 c 4810 129804 198408412 110641499 666 4050 37 302 173 712.10/712.30 c 4820 130226 199116744 110952854 666 4060 32 407 237 713.10/713.37 c 4830 130368 199328919 111098491 666 4070 32 133 87 714.70/714.90 c 4840 130700 199768387 111358417 666 4078 44 289 183 715.40/715.67 c 4850 130819 199914612 111445810 666 4088 35 110 92 717.21/717.45 c 4860 131218 200622928 111784996 666 4096 75 383 304 717.91/718.10 c 4870 131320 200742803 111862362 666 4106 29 93 67 718.41/718.68 c 4880 131418 200850493 111937941 666 4116 29 89 62 719.81/720.07 c 4890 131674 201192781 112158881 666 4124 29 247 113 721.41/721.66 c 4900 131998 201644114 112416117 666 4134 32 314 158 722.71/722.90 c 4910 132208 201923559 112611686 666 4144 32 198 118 724.41/724.65 c 4920 132596 202526669 112909504 666 4153 32 378 187 725.70/725.99 c 4930 132846 202849297 113119281 666 4163 32 241 123 727.50/727.73 c 4940 133258 203465582 113429165 666 4173 32 403 188 728.60/728.88 c 4950 133432 203704011 113609122 666 4183 32 147 90 730.40/730.64 c 4960 133850 204375318 113951038 666 4193 35 409 248 731.10/731.36 c 4970 133967 204510451 114042108 666 4203 32 108 74 732.70/732.93 c 4980 134291 204959632 114300940 666 4213 28 315 152 733.61/733.85 c 4990 134428 205137058 114420933 666 4223 32 128 81 735.60/735.90 c 5035 134890 205924787 114945582 666 4245 32 322 277 751.00/751.24 c 5631 136108 208956666 118132077 666 4260 116 132 131 781.29/781.57 c 6286 137066 215055384 126279853 666 4295 51 128 125 791.99/792.25 c 7006 140766 228880175 131008943 666 4314 76 430 409 809.39/809.67 c 7798 141831 232651661 134291382 666 4343 77 146 140 830.38/830.60 c 8669 143013 237220011 138457706 666 4389 100 155 151 846.68/846.97 c 9627 147432 248007197 142534056 666 4416 74 338 305 921.67/921.97 c 10680 149250 264290702 156226023 666 4436 74 152 142 940.76/941.08 c 11838 153552 269992246 158531115 666 4452 72 163 152 957.75/958.03 c 13111 160636 286730653 164229029 666 4471 306 424 375 978.55/978.82 c 14511 167328 306570869 171861467 666 4530 49 402 362 998.55/998.82 c 16051 174318 333013113 180500266 666 4552 49 450 404 1026.05/1026.32 c 17745 181821 368824492 192558449 666 4574 51 437 412 1056.94/1057.28 c 19608 190091 408850105 207353118 666 4591 49 432 406 1092.43/1092.74 c 21657 200579 457916361 225168532 666 4613 49 438 409 1124.72/1125.04 c 23910 211855 505865228 241667951 666 4641 166 452 421 1165.01/1165.35 c 26388 225014 567959080 261138659 666 4671 322 448 414 1208.50/1208.87 c 29113 238549 630760104 282521753 666 4690 104 442 409 1260.40/1260.78 c 32110 257788 711406124 307707179 666 4707 103 444 413 1324.79/1325.18 c 35406 270644 732661952 321680227 666 4749 52 194 191 1811.70/1812.13 c 39031 292916 889904552 409050107 666 4769 127 439 406 2064.97/2065.49 c 43018 297749 937315660 454856969 666 4814 73 137 128 2207.14/2207.62 c 47403 302845 965338313 483269604 666 4836 119 139 133 2268.84/2269.34 c 52226 326207 1025109509 500139156 666 4897 104 397 344 2347.31/2347.88 c 57531 348973 1145395843 536779033 666 4926 78 435 411
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4242254-1500656065/watcher-4242254-1500656065 -o /tmp/evaluation-result-4242254-1500656065/solver-4242254-1500656065 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9870 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242254-1500656065.xml pid=11932 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.05 3/242 11935 /proc/meminfo: memFree=29158264/32770624 swapFree=5664/192664 [pid=11935] ppid=11932 vsize=28840 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 1406 0 0 0 0 0 0 0 20 0 1 0 875630 29532160 1228 33554432000 4194304 5970956 140730973054416 140730973051064 140465137150949 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 7210 1228 702 434 0 574 0 [startup+0.100124 s] /proc/loadavg: 2.00 2.01 2.05 3/242 11935 /proc/meminfo: memFree=29158264/32770624 swapFree=5664/192664 [pid=11935] ppid=11932 vsize=37696 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 3649 0 0 0 9 0 0 0 20 0 1 0 875630 38600704 3472 33554432000 4194304 5970956 140730973054416 140730973048536 140465137150949 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 9424 3472 729 434 0 2788 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 37696 [startup+0.200336 s] /proc/loadavg: 2.00 2.01 2.05 3/242 11935 /proc/meminfo: memFree=29158264/32770624 swapFree=5664/192664 [pid=11935] ppid=11932 vsize=40864 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 4498 0 0 0 19 0 0 0 20 0 1 0 875630 41844736 4303 33554432000 4194304 5970956 140730973054416 140730973048248 140465137150949 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 10216 4303 799 434 0 3580 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 40864 [startup+0.300268 s] /proc/loadavg: 2.00 2.01 2.05 3/242 11935 /proc/meminfo: memFree=29158264/32770624 swapFree=5664/192664 [pid=11935] ppid=11932 vsize=42616 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 4960 0 0 0 29 0 0 0 20 0 1 0 875630 43638784 4775 33554432000 4194304 5970956 140730973054416 140730973048248 140465137150949 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 10654 4775 799 434 0 4018 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 42616 [startup+0.700242 s] /proc/loadavg: 2.00 2.01 2.05 3/242 11935 /proc/meminfo: memFree=29158264/32770624 swapFree=5664/192664 [pid=11935] ppid=11932 vsize=50108 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 6811 0 0 0 69 0 0 0 20 0 1 0 875630 51310592 6646 33554432000 4194304 5970956 140730973054416 140730973047848 140465137150949 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 12527 6646 799 434 0 5891 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 50108 [startup+1.50029 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11936 /proc/meminfo: memFree=28975340/32770624 swapFree=5664/192624 [pid=11935] ppid=11932 vsize=490868 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 61107 0 0 0 138 11 0 0 20 0 1 0 875630 502648832 102819 33554432000 4194304 5970956 140730973054416 140730973051240 140465137150949 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 122717 102819 829 434 0 116081 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 490868 [startup+3.10029 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11936 /proc/meminfo: memFree=28356956/32770624 swapFree=5664/192624 [pid=11935] ppid=11932 vsize=1358948 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 170707 0 0 0 276 33 0 0 20 0 1 0 875630 1391562752 324893 33554432000 4194304 5970956 140730973054416 140730973051240 140465137150949 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 339737 324893 829 434 0 333101 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1358948 [startup+6.30034 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11936 /proc/meminfo: memFree=26537644/32770624 swapFree=5664/192644 [pid=11935] ppid=11932 vsize=3443660 CPUtime=6.29 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 381122 0 0 0 554 75 0 0 20 0 1 0 875630 3526307840 763005 33554432000 4194304 5970956 140730973054416 140730973051240 140465137150949 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 860949 763071 829 434 0 854313 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 3443660 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11936 /proc/meminfo: memFree=25561392/32770624 swapFree=5664/192644 [pid=11935] ppid=11932 vsize=4631832 CPUtime=12.68 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 460759 0 0 0 1180 88 0 0 20 0 1 0 875630 4742995968 898047 33554432000 4194304 5970956 140730973054416 140730973051752 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1157958 898047 846 434 0 1151322 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 4631832 [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11936 /proc/meminfo: memFree=25561764/32770624 swapFree=5664/192660 [pid=11935] ppid=11932 vsize=4632232 CPUtime=25.48 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 485554 0 0 0 2458 90 0 0 20 0 1 0 875630 4743405568 898135 33554432000 4194304 5970956 140730973054416 140730973051752 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1158058 898135 846 434 0 1151422 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 4632232 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11937 /proc/meminfo: memFree=25559780/32770624 swapFree=5664/192660 [pid=11935] ppid=11932 vsize=4634224 CPUtime=51.08 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 539853 0 0 0 5015 93 0 0 20 0 1 0 875630 4745445376 898591 33554432000 4194304 5970956 140730973054416 140730973051752 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1158556 898591 846 434 0 1151920 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 4634224 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11938 /proc/meminfo: memFree=25557576/32770624 swapFree=5664/192660 [pid=11935] ppid=11932 vsize=4635512 CPUtime=102.27 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 562169 0 0 0 10133 94 0 0 20 0 1 0 875630 4746764288 898922 33554432000 4194304 5970956 140730973054416 140730973051752 4994545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1158878 898922 846 434 0 1152242 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 4635512 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11939 /proc/meminfo: memFree=25557260/32770624 swapFree=5664/192788 [pid=11935] ppid=11932 vsize=4636564 CPUtime=162.25 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 585944 0 0 0 16129 96 0 0 20 0 1 0 875630 4747841536 899231 33554432000 4194304 5970956 140730973054416 140730973051752 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1159141 899231 846 434 0 1152505 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 4636564 [startup+222.308 s] /proc/loadavg: 2.00 2.01 2.05 3/243 12006 /proc/meminfo: memFree=13707196/32770624 swapFree=5664/192788 [pid=11935] ppid=11932 vsize=4637700 CPUtime=222.24 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 602607 0 0 0 22126 98 0 0 20 0 1 0 875630 4749004800 899979 33554432000 4194304 5970956 140730973054416 140730973051752 4908982 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1159425 899979 846 434 0 1152789 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 4637700 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 12007 /proc/meminfo: memFree=13706184/32770624 swapFree=5664/193064 [pid=11935] ppid=11932 vsize=4639828 CPUtime=282.21 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 620229 0 0 0 28122 99 0 0 20 0 1 0 875630 4751183872 900359 33554432000 4194304 5970956 140730973054416 140730973051752 4994545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1159957 900359 846 434 0 1153321 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 4639828 [startup+342.3 s] /proc/loadavg: 2.04 2.03 2.05 3/243 12015 /proc/meminfo: memFree=13703736/32770624 swapFree=5664/193212 [pid=11935] ppid=11932 vsize=4641000 CPUtime=342.2 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 640688 0 0 0 34119 101 0 0 20 0 1 0 875630 4752384000 900639 33554432000 4194304 5970956 140730973054416 140730973051752 4994549 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1160250 900639 846 434 0 1153614 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 4641000 [startup+402.3 s] /proc/loadavg: 2.02 2.02 2.05 3/244 12039 /proc/meminfo: memFree=13703324/32770624 swapFree=5664/193312 [pid=11935] ppid=11932 vsize=4641632 CPUtime=402.18 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 653076 0 0 0 40116 102 0 0 20 0 1 0 875630 4753031168 900797 33554432000 4194304 5970956 140730973054416 140730973051752 4994549 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1160408 900797 846 434 0 1153772 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 4641632 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.05 3/244 12040 /proc/meminfo: memFree=13702508/32770624 swapFree=5664/193312 [pid=11935] ppid=11932 vsize=4642024 CPUtime=462.17 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 665980 0 0 0 46114 103 0 0 20 0 1 0 875630 4753432576 900906 33554432000 4194304 5970956 140730973054416 140730973051752 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1160506 900906 846 434 0 1153870 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 4642024 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 12041 /proc/meminfo: memFree=13702084/32770624 swapFree=5664/193428 [pid=11935] ppid=11932 vsize=4642544 CPUtime=522.16 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 680997 0 0 0 52111 105 0 0 20 0 1 0 875630 4753965056 901040 33554432000 4194304 5970956 140730973054416 140730973051752 5272605 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1160636 901040 846 434 0 1154000 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 4642544 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 12042 /proc/meminfo: memFree=13701516/32770624 swapFree=5664/193560 [pid=11935] ppid=11932 vsize=4642936 CPUtime=582.14 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 694797 0 0 0 58108 106 0 0 20 0 1 0 875630 4754366464 901135 33554432000 4194304 5970956 140730973054416 140730973051752 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1160734 901135 846 434 0 1154098 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 4642936 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.05 3/243 12073 /proc/meminfo: memFree=13693220/32770624 swapFree=5664/194364 [pid=11935] ppid=11932 vsize=4644896 CPUtime=1541.95 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 852824 0 0 0 154078 117 0 0 20 0 1 0 875630 4756373504 902157 33554432000 4194304 5970956 140730973054416 140730973051752 4994568 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161224 902157 850 434 0 1154588 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 4644896 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 12074 /proc/meminfo: memFree=13693996/32770624 swapFree=5664/194376 [pid=11935] ppid=11932 vsize=4644896 CPUtime=1601.93 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 857173 0 0 0 160076 117 0 0 20 0 1 0 875630 4756373504 902157 33554432000 4194304 5970956 140730973054416 140730973051752 4994496 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161224 902157 850 434 0 1154588 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 4644896 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 12075 /proc/meminfo: memFree=13693448/32770624 swapFree=5664/194376 [pid=11935] ppid=11932 vsize=4644896 CPUtime=1661.93 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 861092 0 0 0 166075 118 0 0 20 0 1 0 875630 4756373504 902157 33554432000 4194304 5970956 140730973054416 140730973051752 4994554 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161224 902157 850 434 0 1154588 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 4644896 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 12076 /proc/meminfo: memFree=13693472/32770624 swapFree=5664/194428 [pid=11935] ppid=11932 vsize=4644896 CPUtime=1721.92 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 865212 0 0 0 172074 118 0 0 20 0 1 0 875630 4756373504 902157 33554432000 4194304 5970956 140730973054416 140730973051752 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161224 902157 850 434 0 1154588 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 4644896 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 12077 /proc/meminfo: memFree=13693828/32770624 swapFree=5664/194472 [pid=11935] ppid=11932 vsize=4645028 CPUtime=1781.91 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 873421 0 0 0 178072 119 0 0 20 0 1 0 875630 4756508672 902173 33554432000 4194304 5970956 140730973054416 140730973051432 4994545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161257 902173 850 434 0 1154621 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 4645028 [startup+1842.3 s] /proc/loadavg: 2.16 2.06 2.06 3/243 12079 /proc/meminfo: memFree=13694316/32770624 swapFree=5664/194488 [pid=11935] ppid=11932 vsize=4645028 CPUtime=1841.9 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 880874 0 0 0 184071 119 0 0 20 0 1 0 875630 4756508672 902183 33554432000 4194304 5970956 140730973054416 140730973051752 4994549 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161257 902183 850 434 0 1154621 0 Current children cumulated CPU time (s) 1841.9 Current children cumulated vsize (KiB) 4645028 [startup+1902.3 s] /proc/loadavg: 2.06 2.05 2.05 3/243 12080 /proc/meminfo: memFree=13694592/32770624 swapFree=5664/194488 [pid=11935] ppid=11932 vsize=4645028 CPUtime=1901.89 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 888428 0 0 0 190070 119 0 0 20 0 1 0 875630 4756508672 902183 33554432000 4194304 5970956 140730973054416 140730973051752 5098903 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161257 902183 850 434 0 1154621 0 Current children cumulated CPU time (s) 1901.89 Current children cumulated vsize (KiB) 4645028 [startup+1962.3 s] /proc/loadavg: 2.02 2.04 2.05 3/243 12081 /proc/meminfo: memFree=13695152/32770624 swapFree=5664/194560 [pid=11935] ppid=11932 vsize=4645028 CPUtime=1961.87 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 893251 0 0 0 196068 119 0 0 20 0 1 0 875630 4756508672 902188 33554432000 4194304 5970956 140730973054416 140730973051752 5319696 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161257 902188 850 434 0 1154621 0 Current children cumulated CPU time (s) 1961.87 Current children cumulated vsize (KiB) 4645028 [startup+2022.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 12083 /proc/meminfo: memFree=13695280/32770624 swapFree=5664/194560 [pid=11935] ppid=11932 vsize=4645028 CPUtime=2021.86 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 900192 0 0 0 202067 119 0 0 20 0 1 0 875630 4756508672 902189 33554432000 4194304 5970956 140730973054416 140730973051752 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161257 902189 850 434 0 1154621 0 Current children cumulated CPU time (s) 2021.86 Current children cumulated vsize (KiB) 4645028 [startup+2082.3 s] /proc/loadavg: 2.00 2.03 2.05 3/243 12084 /proc/meminfo: memFree=13695552/32770624 swapFree=5664/194632 [pid=11935] ppid=11932 vsize=4645160 CPUtime=2081.87 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 906882 0 0 0 208067 120 0 0 20 0 1 0 875630 4756643840 902194 33554432000 4194304 5970956 140730973054416 140730973051480 4994526 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161290 902194 850 434 0 1154654 0 Current children cumulated CPU time (s) 2081.87 Current children cumulated vsize (KiB) 4645160 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.05 3/244 12093 /proc/meminfo: memFree=13694392/32770624 swapFree=5664/194632 [pid=11935] ppid=11932 vsize=4645160 CPUtime=2141.85 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 912198 0 0 0 214065 120 0 0 20 0 1 0 875630 4756643840 902195 33554432000 4194304 5970956 140730973054416 140730973051480 4994549 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161290 902195 850 434 0 1154654 0 Current children cumulated CPU time (s) 2141.85 Current children cumulated vsize (KiB) 4645160 [startup+2202.31 s] /proc/loadavg: 2.00 2.02 2.05 3/244 12094 /proc/meminfo: memFree=13694792/32770624 swapFree=5664/194712 [pid=11935] ppid=11932 vsize=4645160 CPUtime=2201.85 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 918536 0 0 0 220065 120 0 0 20 0 1 0 875630 4756643840 902195 33554432000 4194304 5970956 140730973054416 140730973051480 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161290 902195 850 434 0 1154654 0 Current children cumulated CPU time (s) 2201.85 Current children cumulated vsize (KiB) 4645160 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 12095 /proc/meminfo: memFree=13694696/32770624 swapFree=5664/194712 [pid=11935] ppid=11932 vsize=4645160 CPUtime=2261.83 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 925909 0 0 0 226062 121 0 0 20 0 1 0 875630 4756643840 902216 33554432000 4194304 5970956 140730973054416 140730973051752 4974704 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161290 902216 850 434 0 1154654 0 Current children cumulated CPU time (s) 2261.83 Current children cumulated vsize (KiB) 4645160 [startup+2322.3 s] /proc/loadavg: 2.05 2.03 2.05 3/244 12096 /proc/meminfo: memFree=13694532/32770624 swapFree=5664/194776 [pid=11935] ppid=11932 vsize=4645292 CPUtime=2321.82 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 932923 0 0 0 232061 121 0 0 20 0 1 0 875630 4756779008 902235 33554432000 4194304 5970956 140730973054416 140730973051480 4994549 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161323 902235 850 434 0 1154687 0 Current children cumulated CPU time (s) 2321.82 Current children cumulated vsize (KiB) 4645292 [startup+2382.3 s] /proc/loadavg: 2.02 2.02 2.05 3/244 12097 /proc/meminfo: memFree=13694120/32770624 swapFree=5664/194808 [pid=11935] ppid=11932 vsize=4645292 CPUtime=2381.81 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 942499 0 0 0 238059 122 0 0 20 0 1 0 875630 4756779008 902250 33554432000 4194304 5970956 140730973054416 140730973051752 4994619 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161323 902250 850 434 0 1154687 0 Current children cumulated CPU time (s) 2381.81 Current children cumulated vsize (KiB) 4645292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.5 s] /proc/loadavg: 2.02 2.02 2.05 3/244 12097 /proc/meminfo: memFree=13694120/32770624 swapFree=5664/194808 [pid=11935] ppid=11932 vsize=4645292 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 942647 0 0 0 239879 122 0 0 20 0 1 0 875630 4756779008 902251 33554432000 4194304 5970956 140730973054416 140730973051752 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161323 902251 850 434 0 1154687 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 4645292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11935 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.5 s] /proc/loadavg: 2.02 2.02 2.05 3/244 12097 /proc/meminfo: memFree=13694120/32770624 swapFree=5664/194808 [pid=11935] ppid=11932 vsize=4645292 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14 /proc/11935/stat : 11935 (cosoco) R 11932 11935 9838 0 -1 4202496 942647 0 0 0 239879 122 0 0 20 0 1 0 875630 4756779008 902251 33554432000 4194304 5970956 140730973054416 140730973051752 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29323264 140730973062332 140730973062467 140730973062467 140730973065166 0 /proc/11935/statm: 1161323 902251 850 434 0 1154687 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 4645292 Child status: 1 Real time (s): 2400.52 CPU time (s): 2400.04 CPU user time (s): 2398.79 CPU system time (s): 1.24176 CPU usage (%): 99.9798 Max. virtual memory (cumulated for all children) (KiB): 4645292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.79 system time used= 1.24176 maximum resident set size= 3609056 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 942671 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= 33 involuntary context switches= 120741 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.65385 second user time and 11.6896 second system time The end
Begin job on node114 at 2017-07-21 18:54:25 IDJOB=4242254 IDBENCH=133755 IDSOLVER=2621 FILE ID=node114/4242254-1500656065 RUNJOBID= node114-1500648178-9870 PBS_JOBID= 20623304 Free space on /tmp= 62008 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg4/QuasiGroup-4-24.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242254-1500656065/watcher-4242254-1500656065 -o /tmp/evaluation-result-4242254-1500656065/solver-4242254-1500656065 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500648178-9870 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242254-1500656065.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= eed4597320c79808ee022b7591b3ea00 RANDOM SEED=1384378596 node114.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29157292 kB MemAvailable: 29150092 kB Buffers: 35040 kB Cached: 267808 kB SwapCached: 0 kB Active: 3031740 kB Inactive: 201500 kB Active(anon): 2933092 kB Inactive(anon): 8836 kB Active(file): 98648 kB Inactive(file): 192664 kB Unevictable: 5664 kB Mlocked: 5664 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2516 kB Writeback: 4 kB AnonPages: 2939824 kB Mapped: 30144 kB Shmem: 8848 kB Slab: 66344 kB SReclaimable: 34644 kB SUnreclaim: 31700 kB KernelStack: 4528 kB PageTables: 11560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3550720 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2867200 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 62004 MiB End job on node114 at 2017-07-21 19:34:25