| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.03 | 2400.1 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-85-05.xml |
| MD5SUM | 5a3f618f89c6aa3a803c36caec9b03ca |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 25.191601 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1453 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 26 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":26,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 89 |
| Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":2}, {"degree":86,"count":2}, {"degree":87,"count":2}, {"degree":88,"count":3}, {"degree":89,"count":29}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 200 |
| Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":32,"count":2},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":3},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":2},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":5},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":2},{"arity":56,"count":3},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
| Number of extensional constraints | 200 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1252},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.09/0.14 c SAT : Variables: 7200 -- Clauses: 67200 0.09/0.15 c root propagations : 0 0.09/0.15 c restarts enabled, print stats at every restarts 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c This is cosoco 1.0 -- 0.09/0.15 c 0.09/0.15 c ========================================[ Problem Statistics ]=========================================== 0.09/0.15 c | 0.09/0.15 c | Parse time : 0.14 s 0.09/0.15 c | 0.09/0.15 c | Variables: 1200 0.09/0.15 c | Domain Sizes: 2..26 0.09/0.15 c | 0.09/0.15 c | Constraints: 1478 0.09/0.15 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.09/0.15 c | 0.09/0.15 c | Types: 0.09/0.15 c | Exactly K: 26 0.09/0.15 c | Extension: 200 (nb tuples: 26..26) -- (shared: 199) 0.09/0.15 c | Sum: 1252 0.09/0.15 c | 0.09/0.15 c ========================================================================================================= 0.09/0.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.39/0.42 c 10 785 43228 6365 0 3 762 769 695 0.39/0.47 c 20 869 50924 8388 0 5 54 61 53 0.49/0.52 c 30 933 59019 10966 0 8 39 43 37 0.49/0.57 c 40 997 65628 12780 0 10 37 42 35 0.79/0.84 c 50 1782 111907 20241 0 16 33 763 557 0.99/1.00 c 60 2096 140649 25642 0 19 288 294 265 1.09/1.18 c 70 2522 174226 31894 0 29 266 417 315 1.29/1.34 c 80 2871 203662 37184 0 31 330 331 300 1.49/1.53 c 90 3328 239101 43614 0 41 36 448 323 1.69/1.75 c 100 3791 282078 50605 0 46 377 435 384 1.89/1.93 c 101 4259 312764 55897 0 47 468 468 234 1.99/2.06 c 110 4430 332492 60997 0 55 36 159 81 2.20/2.22 c 120 4819 359838 65754 0 60 347 360 322 2.30/2.38 c 130 5194 387480 71125 0 65 36 354 205 2.59/2.60 c 140 5751 428192 77485 0 70 426 517 447 2.69/2.73 c 150 6028 449687 82289 0 73 86 243 191 2.69/2.78 c 160 6179 459314 85306 0 75 92 96 85 2.79/2.82 c 170 6298 466995 87477 0 77 81 87 77 2.79/2.86 c 180 6423 475385 90323 0 79 83 87 78 2.89/2.91 c 190 6568 484513 93634 0 81 79 87 74 2.89/2.95 c 200 6688 492507 96039 0 83 75 77 69 2.89/2.99 c 210 6796 499850 98325 0 85 71 77 68 2.99/3.02 c 211 6871 504561 99282 0 86 75 75 37 2.99/3.06 c 220 6980 512397 101831 0 88 75 77 68 3.09/3.10 c 230 7095 520219 104390 0 89 75 77 69 3.09/3.14 c 240 7209 527579 106489 0 91 72 79 68 3.09/3.18 c 250 7324 536286 109583 0 93 70 73 65 3.19/3.23 c 260 7454 544158 111889 0 95 66 75 62 3.30/3.33 c 270 7665 561234 116280 0 98 69 190 159 3.49/3.50 c 280 8080 590884 121818 0 103 224 397 337 3.59/3.67 c 290 8336 618850 129579 0 113 185 247 191 3.79/3.80 c 300 8592 641073 133426 0 119 213 224 199 3.89/3.96 c 310 8926 667428 138842 0 123 302 311 279 4.09/4.16 c 320 9327 701287 144407 0 133 204 390 288 4.29/4.38 c 330 9765 737998 150666 0 143 80 428 230 4.50/4.57 c 332 10171 770296 155635 0 145 276 405 227 4.69/4.79 c 340 10613 805948 161041 0 153 281 435 330 4.99/5.00 c 350 11034 842940 166997 0 162 81 410 330 5.09/5.14 c 360 11329 866701 172743 0 172 75 275 154 5.29/5.34 c 370 11758 899443 179022 0 182 80 420 197 5.50/5.56 c 380 12236 936414 184614 0 191 261 469 361 5.69/5.79 c 390 12746 976757 190884 0 200 301 499 422 5.99/6.00 c 400 13212 1013913 196446 0 204 384 456 402 6.19/6.23 c 410 13700 1052646 202301 0 213 300 478 408 6.39/6.46 c 420 14182 1089292 208023 0 223 80 473 271 6.60/6.67 c 430 14623 1124341 213460 0 233 292 432 359 6.79/6.89 c 440 15101 1161451 218967 0 239 309 464 345 6.99/7.09 c 450 15501 1196603 224741 0 245 385 389 351 7.29/7.30 c 460 15960 1232406 230689 0 249 93 440 355 7.39/7.42 c 465 16236 1251950 234343 0 252 266 267 222 7.59/7.61 c 470 16649 1283702 239188 0 257 301 409 278 7.70/7.78 c 480 17015 1313224 243958 0 267 289 357 294 7.89/7.93 c 490 17348 1338507 248153 0 271 255 313 275 8.09/8.14 c 500 17801 1373486 253666 0 280 262 444 364 8.09/8.19 c 510 17912 1381870 256415 0 282 65 68 60 8.19/8.29 c 520 18185 1398884 260565 0 287 58 246 89 8.39/8.49 c 530 18630 1433470 266211 0 297 59 435 294 8.59/8.63 c 540 18938 1457311 270373 0 304 267 294 262 8.69/8.76 c 550 19225 1479780 274278 0 309 247 256 229 8.90/8.91 c 560 19534 1504210 278399 0 314 246 294 259 8.99/9.03 c 570 19804 1524134 282247 0 316 238 248 220 9.09/9.15 c 580 20058 1543202 286547 0 323 233 238 215 9.19/9.25 c 590 20309 1561644 290719 0 333 59 241 191 9.39/9.46 c 600 20768 1596475 296359 0 340 59 445 249 9.49/9.60 c 610 21056 1619359 300539 0 346 221 275 242 9.59/9.62 c 611 21117 1623595 301415 0 347 61 61 30 9.69/9.75 c 620 21413 1646188 305449 0 352 57 282 186 9.79/9.89 c 630 21716 1669693 309524 0 357 218 267 233 10.00/10.02 c 640 21986 1690091 313412 0 364 61 250 206 10.09/10.15 c 650 22288 1713286 317468 0 371 57 288 211 10.19/10.29 c 660 22582 1735412 321503 0 376 58 281 231 10.39/10.47 c 670 22986 1766556 327296 0 382 57 388 290 10.49/10.59 c 680 23255 1787885 334618 0 392 62 258 134 10.69/10.78 c 690 23648 1819481 340254 0 401 275 381 314 10.89/10.97 c 700 24067 1852356 345638 0 411 275 410 324 11.09/11.12 c 710 24402 1878744 349838 0 416 300 310 277 11.29/11.31 c 720 24812 1910621 354912 0 426 272 400 314 11.39/11.46 c 730 25137 1935271 358994 0 432 273 287 256 11.59/11.61 c 740 25478 1961747 363128 0 437 57 316 253 11.79/11.81 c 750 25914 1995906 369070 0 441 260 416 357 11.89/11.99 c 760 26277 2025450 373885 0 449 310 341 302 12.09/12.15 c 770 26633 2052956 378285 0 451 325 327 297 12.19/12.25 c 771 26887 2068945 381704 0 452 254 254 127 12.39/12.43 c 780 27299 2101558 387610 0 460 56 396 298 12.59/12.60 c 790 27622 2128907 393300 0 470 80 311 131 12.69/12.73 c 800 27917 2151402 397205 0 473 264 266 240 12.79/12.89 c 810 28262 2177655 401538 0 476 302 316 284 12.99/13.03 c 820 28567 2201520 405644 0 480 283 289 260 13.19/13.23 c 830 28992 2235724 410972 0 490 56 413 337 13.29/13.37 c 840 29292 2259451 415237 0 493 254 281 249 13.49/13.51 c 850 29597 2282502 419225 0 498 266 282 248 13.59/13.64 c 860 29886 2304132 423237 0 506 258 274 244 13.69/13.79 c 870 30209 2328031 427148 0 511 282 298 267 13.89/13.94 c 880 30529 2352924 431133 0 514 298 298 270 13.99/14.08 c 890 30830 2376263 435188 0 518 258 289 253 14.29/14.31 c 900 31312 2416505 441321 0 525 407 472 416 14.39/14.46 c 910 31606 2440938 447492 0 530 80 281 188 14.49/14.59 c 920 31917 2463530 451494 0 534 273 282 255 14.69/14.74 c 930 32274 2489060 456830 0 535 319 328 295 14.89/14.95 c 940 32689 2524850 462566 0 541 297 405 345 14.99/15.07 c 947 32942 2544348 466384 0 543 81 240 189 15.19/15.27 c 950 33374 2578482 471573 0 546 311 430 292 15.39/15.47 c 960 33790 2612773 477506 0 556 63 405 205 15.59/15.67 c 970 34209 2647475 483322 0 565 80 407 279 15.79/15.88 c 980 34657 2683655 488966 0 574 296 439 373 15.99/16.01 c 990 34932 2705203 493314 0 582 63 262 204 16.09/16.14 c 1000 35233 2727522 498405 0 585 268 270 244 16.29/16.33 c 1010 35600 2759060 504015 0 590 258 349 308 16.39/16.43 c 1020 35831 2777526 511523 0 600 62 222 117 16.59/16.63 c 1030 36243 2811055 516921 0 610 236 403 340 16.79/16.83 c 1040 36671 2846024 522493 0 620 64 419 321 16.99/17.03 c 1050 37076 2879891 527894 0 623 385 395 357 17.19/17.25 c 1060 37536 2918730 533856 0 633 81 450 299 17.39/17.47 c 1070 37990 2955679 539692 0 643 253 445 362 17.59/17.66 c 1080 38395 2988100 544960 0 653 262 396 308 17.69/17.78 c 1090 38673 3007987 549798 0 663 55 269 114 17.89/17.97 c 1100 39096 3041551 555604 0 670 265 404 344 18.09/18.19 c 1110 39548 3079405 561885 0 680 217 443 295 18.29/18.39 c 1120 39970 3113927 567649 0 686 232 408 342 18.39/18.44 c 1130 40132 3124031 573099 0 696 75 151 99 18.59/18.65 c 1140 40561 3159511 578849 0 700 251 419 364 18.59/18.68 c 1141 40642 3164645 580035 0 701 81 81 40 18.79/18.88 c 1150 41072 3199803 585447 0 710 238 422 335 18.99/19.08 c 1160 41481 3233347 591189 0 720 75 400 194 19.19/19.28 c 1170 41912 3267755 596966 0 727 292 408 343 19.39/19.47 c 1180 42313 3299669 601918 0 736 339 391 341 19.59/19.64 c 1190 42681 3328885 606670 0 745 286 359 306 19.79/19.84 c 1200 43104 3363243 612219 0 755 283 414 351 19.99/20.05 c 1210 43535 3398551 617801 0 764 397 422 374 20.19/20.22 c 1220 43885 3427009 622369 0 773 64 341 273 20.29/20.38 c 1230 44227 3454386 626836 0 779 239 330 279 20.49/20.52 c 1240 44517 3478181 631130 0 783 244 260 233 20.59/20.65 c 1250 44790 3499762 634979 0 785 235 243 219 20.79/20.84 c 1260 45183 3533331 640965 0 794 243 381 317 20.99/21.06 c 1270 45602 3571068 647571 0 804 273 407 325 21.19/21.28 c 1280 46010 3610250 654422 0 813 269 399 329 21.39/21.47 c 1290 46336 3642020 664705 0 823 61 316 134 21.59/21.68 c 1300 46768 3677725 670753 0 833 62 423 311 21.79/21.89 c 1310 47217 3714217 676476 0 837 412 439 395 21.99/22.09 c 1320 47642 3749880 682177 0 847 64 415 333 22.19/22.28 c 1330 48030 3781412 687398 0 857 81 379 271 22.39/22.47 c 1340 48413 3812493 692297 0 864 246 364 302 22.59/22.65 c 1350 48786 3842663 697028 0 870 247 362 296 22.69/22.76 c 1352 49061 3861043 700654 0 872 274 274 182 22.89/22.93 c 1360 49427 3889997 705433 0 875 314 358 312 22.99/23.09 c 1370 49768 3918428 710054 0 878 313 318 287 23.19/23.24 c 1380 50084 3943794 714875 0 881 295 302 272 23.29/23.36 c 1390 50365 3962993 719142 0 882 256 261 234 23.49/23.50 c 1400 50686 3987038 723508 0 890 222 311 243 23.59/23.63 c 1410 51025 4009769 728645 0 894 234 314 270 23.79/23.80 c 1420 51372 4038088 734891 0 904 75 338 149 23.89/23.96 c 1430 51714 4065659 739475 0 910 306 332 296 24.09/24.15 c 1440 52131 4099102 745192 0 916 305 397 333 24.29/24.37 c 1450 52590 4138593 751698 0 922 269 439 346 24.49/24.56 c 1460 52997 4171016 756908 0 932 281 394 328 24.69/24.74 c 1470 53371 4201052 761833 0 941 255 363 297 24.89/24.90 c 1480 53702 4229611 766534 0 947 311 317 284 25.09/25.12 c 1490 54075 4267439 773179 0 955 289 357 290 25.09/25.18 c 1500 54237 4277945 779232 0 965 62 153 97 25.29/25.35 c 1510 54595 4306827 783928 0 971 262 345 269 25.39/25.47 c 1520 54880 4328194 788576 0 980 238 274 238 25.49/25.58 c 1530 55134 4345681 793215 0 988 229 239 212 25.59/25.67 c 1540 55377 4360384 796965 0 992 222 226 204 25.69/25.75 c 1550 55612 4374656 801009 0 997 213 221 197 25.79/25.84 c 1560 55856 4390716 805609 0 1002 217 225 201 25.89/25.93 c 1570 56106 4406980 810489 0 1004 228 231 208 25.99/26.02 c 1580 56339 4421463 814525 0 1010 212 217 195 26.09/26.10 c 1585 56577 4435844 818351 0 1012 229 231 191 26.19/26.26 c 1590 56928 4463564 823768 0 1017 211 347 250 26.29/26.34 c 1600 57132 4477356 830934 0 1027 80 195 112 26.49/26.52 c 1610 57566 4511728 836620 0 1037 316 424 370 26.59/26.67 c 1620 57897 4536398 841503 0 1045 63 320 219 26.79/26.84 c 1630 58299 4567777 847773 0 1051 233 388 281 26.99/27.00 c 1640 58649 4595221 852408 0 1058 291 328 294 27.09/27.13 c 1650 58967 4617683 856748 0 1066 229 304 241 27.29/27.32 c 1660 59390 4650042 862068 0 1076 258 392 319 27.39/27.50 c 1670 59783 4680517 867109 0 1082 223 382 320 27.49/27.58 c 1680 60032 4694741 870733 0 1092 230 240 213 27.69/27.77 c 1690 60470 4728486 876356 0 1102 253 429 356 27.89/27.94 c 1700 60808 4756755 882353 0 1108 263 325 277 27.99/28.09 c 1710 61170 4783632 887029 0 1115 292 352 294 28.19/28.22 c 1720 61483 4804676 891033 0 1125 256 299 260 28.29/28.35 c 1730 61808 4827072 896150 0 1130 267 302 265 28.39/28.41 c 1740 61950 4837798 903698 0 1140 65 133 89 28.49/28.58 c 1750 62363 4869259 909409 0 1148 325 396 334 28.69/28.77 c 1760 62793 4902807 915116 0 1157 324 421 356 28.89/28.96 c 1770 63221 4936457 920762 0 1166 96 415 305 29.09/29.13 c 1780 63588 4965098 925471 0 1172 287 344 302 29.19/29.25 c 1790 63916 4986766 930657 0 1175 241 300 266 29.29/29.31 c 1800 64092 4997846 937413 0 1185 95 167 116 29.39/29.42 c 1810 64380 5016872 942123 0 1189 264 267 241 29.49/29.59 c 1820 64721 5044617 946791 0 1198 271 317 273 29.69/29.73 c 1830 65053 5069577 951558 0 1203 277 313 276 29.79/29.86 c 1840 65341 5090363 955438 0 1209 260 275 245 29.89/29.93 c 1841 65578 5102352 958587 0 1210 237 237 118 29.99/30.01 c 1850 65839 5117883 963633 0 1212 237 240 214 30.09/30.14 c 1860 66157 5139797 969236 0 1215 233 293 223 30.19/30.24 c 1870 66436 5157129 973009 0 1224 247 264 230 30.29/30.35 c 1880 66718 5174861 977465 0 1229 257 261 235 30.39/30.45 c 1890 66990 5192352 982114 0 1238 233 253 218 30.49/30.54 c 1900 67252 5207843 987250 0 1239 234 238 214 30.59/30.69 c 1910 67597 5234728 992184 0 1242 230 328 288 30.79/30.81 c 1920 67907 5255541 996171 0 1250 239 296 261 30.89/30.97 c 1930 68263 5283225 1000780 0 1254 318 333 301 31.09/31.11 c 1940 68604 5308678 1005381 0 1262 296 326 286 31.19/31.28 c 1950 68991 5337118 1011087 0 1267 311 368 314 31.39/31.43 c 1960 69338 5363590 1015907 0 1272 309 332 293 31.49/31.56 c 1970 69673 5387488 1020395 0 1281 244 325 264 31.69/31.73 c 1980 70095 5418713 1026218 0 1286 388 397 359 31.79/31.88 c 1990 70437 5444342 1031052 0 1292 315 327 294 31.99/32.04 c 2000 70819 5472268 1036707 0 1298 308 364 308 32.19/32.23 c 2010 71238 5506570 1042311 0 1308 344 410 339 32.29/32.39 c 2020 71575 5533075 1047731 0 1315 75 324 170 32.59/32.60 c 2030 71980 5571364 1054872 0 1325 296 396 329 32.69/32.76 c 2040 72310 5598517 1060078 0 1331 308 315 283 32.89/32.96 c 2050 72730 5632602 1065503 0 1339 305 403 351 33.09/33.14 c 2060 73132 5664831 1070886 0 1348 360 393 349 33.19/33.28 c 2070 73461 5688714 1075338 0 1355 76 317 236 33.39/33.42 c 2080 73783 5713255 1079873 0 1359 294 300 270 33.59/33.61 c 2090 74217 5747068 1085817 0 1369 380 423 376 33.69/33.79 c 2100 74603 5777297 1091319 0 1379 76 377 247 33.89/33.96 c 2110 75004 5809130 1096829 0 1382 383 387 349 34.09/34.14 c 2120 75400 5841216 1102409 0 1391 240 379 325 34.19/34.28 c 2122 75727 5863844 1106620 0 1393 234 326 186 34.39/34.41 c 2130 76055 5886931 1110712 0 1394 314 314 279 34.59/34.60 c 2140 76487 5920985 1116445 0 1404 239 422 348 34.69/34.79 c 2150 76879 5953057 1121551 0 1414 316 378 330 34.89/34.97 c 2160 77291 5985239 1127536 0 1423 240 399 299 35.09/35.16 c 2170 77713 6018201 1132989 0 1433 347 411 358 35.29/35.34 c 2180 78127 6050299 1138272 0 1443 316 401 345 35.49/35.51 c 2190 78503 6079699 1143359 0 1451 86 363 297 35.59/35.63 c 2200 78821 6100447 1148537 0 1454 285 287 260 35.59/35.69 c 2210 78989 6111181 1154386 0 1464 80 159 106 35.79/35.88 c 2220 79392 6144543 1159656 0 1474 265 392 318 35.99/36.08 c 2230 79808 6178991 1165116 0 1483 269 407 332 36.19/36.26 c 2240 80190 6210443 1170347 0 1489 312 372 327 36.39/36.44 c 2250 80565 6240252 1175189 0 1498 319 356 316 36.59/36.61 c 2260 80930 6269463 1179925 0 1507 323 352 298 36.69/36.77 c 2270 81259 6295913 1184365 0 1516 298 319 286 36.89/36.92 c 2280 81593 6322363 1188765 0 1522 318 321 291 37.09/37.12 c 2290 81996 6355699 1194094 0 1528 321 392 339 37.19/37.26 c 2300 82311 6380793 1198929 0 1534 290 298 268 37.39/37.41 c 2310 82627 6405968 1203361 0 1539 285 297 267 37.49/37.53 c 2320 82918 6425860 1207780 0 1546 266 277 245 37.59/37.64 c 2330 83191 6443482 1211963 0 1553 229 258 226 37.69/37.72 c 2340 83439 6457706 1216231 0 1555 229 234 210 37.79/37.80 c 2350 83692 6472914 1221004 0 1559 224 234 208 37.89/37.94 c 2360 84011 6495926 1225040 0 1563 285 302 271 37.99/38.08 c 2370 84352 6521807 1229813 0 1568 227 328 276 38.19/38.27 c 2380 84778 6554503 1235615 0 1575 319 412 331 38.39/38.41 c 2390 85085 6579184 1243026 0 1585 80 298 124 38.49/38.55 c 2400 85415 6603651 1247296 0 1589 308 316 285 38.69/38.74 c 2410 85839 6636799 1253101 0 1597 305 413 321 38.69/38.79 c 2420 85999 6646889 1259194 0 1607 80 151 105 38.89/38.95 c 2430 86388 6675781 1264766 0 1612 306 366 317 38.89/38.98 c 2431 86468 6681045 1266289 0 1613 80 80 40 39.09/39.16 c 2440 86881 6714231 1272214 0 1618 314 394 336 39.29/39.37 c 2450 87289 6749444 1278537 0 1628 225 399 321 39.49/39.56 c 2460 87684 6782328 1285374 0 1637 133 375 208 39.69/39.74 c 2470 88068 6813707 1290349 0 1644 225 371 311 39.89/39.95 c 2480 88491 6849794 1296618 0 1654 240 414 327 40.09/40.15 c 2490 88892 6883530 1303060 0 1664 126 391 169 40.29/40.36 c 2500 89347 6921501 1309374 0 1674 81 445 263 40.49/40.57 c 2510 89759 6956653 1316289 0 1684 132 402 184 40.70/40.75 c 2520 90147 6988829 1321335 0 1688 207 376 326 40.89/40.95 c 2530 90550 7023506 1326770 0 1692 205 377 321 41.09/41.14 c 2540 90944 7056701 1332363 0 1698 342 381 324 41.19/41.21 c 2550 91158 7068502 1337194 0 1708 80 205 114 41.39/41.42 c 2560 91600 7105161 1343033 0 1715 385 432 375 41.59/41.62 c 2570 92030 7141648 1348784 0 1725 204 421 349 41.80/41.84 c 2580 92479 7179858 1354733 0 1730 205 434 363 41.99/42.05 c 2590 92922 7216821 1360615 0 1740 197 434 353 42.19/42.27 c 2600 93376 7255711 1366661 0 1748 213 430 359 42.39/42.48 c 2610 93822 7293850 1372642 0 1752 214 432 370 42.59/42.69 c 2620 94257 7329587 1378369 0 1761 330 425 357 42.79/42.90 c 2630 94727 7368242 1384704 0 1768 255 452 380 43.09/43.10 c 2640 95127 7403304 1391417 0 1777 155 389 263 43.29/43.31 c 2650 95571 7439589 1396984 0 1786 333 435 367 43.39/43.49 c 2660 95961 7470292 1401994 0 1794 268 378 321 43.59/43.66 c 2670 96318 7499046 1406903 0 1797 332 340 308 43.79/43.81 c 2680 96657 7525428 1411554 0 1805 305 328 295 43.89/43.94 c 2690 96953 7547080 1415910 0 1815 263 287 253 44.00/44.09 c 2700 97273 7571841 1420659 0 1820 265 294 249 44.19/44.21 c 2710 97564 7591329 1425006 0 1822 264 268 242 44.29/44.31 c 2720 97843 7608827 1429357 0 1826 255 258 233 44.39/44.41 c 2730 98117 7625956 1433875 0 1828 255 262 234 44.49/44.52 c 2740 98398 7644213 1439136 0 1829 255 260 233 44.59/44.62 c 2750 98678 7661852 1443766 0 1831 253 257 231 44.69/44.73 c 2760 98959 7680314 1448325 0 1837 241 262 223 44.79/44.83 c 2770 99232 7697646 1453020 0 1839 247 251 226 44.89/44.90 c 2771 99462 7709244 1456131 0 1840 230 230 115 44.89/44.98 c 2780 99711 7723718 1460820 0 1843 230 234 208 44.99/45.06 c 2790 99965 7738824 1465285 0 1845 228 232 209 45.10/45.15 c 2800 100213 7752933 1469087 0 1847 227 233 209 45.20/45.23 c 2810 100464 7767514 1473424 0 1851 227 230 208 45.29/45.33 c 2820 100721 7784450 1478009 0 1855 225 237 210 45.39/45.43 c 2830 100981 7802561 1483259 0 1859 233 238 214 45.49/45.56 c 2840 101290 7825142 1489828 0 1863 227 293 236 45.59/45.68 c 2850 101543 7844517 1495398 0 1868 232 239 214 45.69/45.79 c 2860 101864 7864796 1500414 0 1871 224 293 259 45.79/45.84 c 2870 102026 7874212 1503660 0 1879 96 148 116 45.99/46.01 c 2880 102384 7903414 1509452 0 1886 231 342 282 46.09/46.14 c 2890 102695 7924970 1513608 0 1895 239 296 241 46.30/46.34 c 2900 103112 7961393 1520013 0 1905 320 404 339 46.49/46.52 c 2910 103490 7993570 1526168 0 1913 222 363 269 46.59/46.66 c 2920 103821 8016793 1531437 0 1916 239 306 224 46.79/46.82 c 2930 104157 8044221 1535935 0 1919 315 321 290 46.89/46.96 c 2940 104476 8068308 1540189 0 1923 302 305 275 47.09/47.13 c 2950 104865 8099074 1546055 0 1927 293 367 298 47.19/47.28 c 2960 105181 8124382 1550455 0 1932 157 303 261 47.40/47.44 c 2970 105573 8153604 1556191 0 1936 239 367 313 47.49/47.58 c 2980 105875 8176609 1560438 0 1944 126 289 196 47.69/47.77 c 2990 106261 8212115 1567084 0 1952 306 376 320 47.89/47.91 c 3000 106587 8236261 1571461 0 1958 234 314 277 47.99/48.05 c 3010 106906 8260617 1576498 0 1966 246 303 256 48.09/48.19 c 3020 107225 8284169 1580550 0 1971 263 304 272 48.29/48.37 c 3030 107619 8317398 1586720 0 1980 301 384 317 48.50/48.57 c 3040 108043 8352966 1592905 0 1990 303 415 341 48.69/48.73 c 3050 108389 8379787 1597983 0 2000 81 337 202 48.79/48.89 c 3060 108746 8408077 1603322 0 2007 304 328 293 48.99/49.05 c 3070 109146 8436604 1608921 0 2008 368 369 335 49.19/49.24 c 3080 109555 8469618 1614812 0 2018 244 400 298 49.39/49.45 c 3090 109981 8505941 1620574 0 2024 335 415 361 49.60/49.63 c 3100 110370 8537784 1625865 0 2029 308 377 335 49.79/49.83 c 3110 110773 8571574 1631366 0 2037 387 393 355 49.99/50.04 c 3120 111234 8610008 1637509 0 2047 354 452 367 50.19/50.22 c 3130 111631 8641509 1642654 0 2053 261 388 335 50.39/50.41 c 3140 112030 8673892 1647863 0 2057 277 370 327 50.49/50.53 c 3142 112325 8694170 1651959 0 2059 288 294 194 50.70/50.72 c 3150 112713 8727179 1657262 0 2062 369 374 330 50.89/50.91 c 3160 113138 8760999 1663149 0 2065 296 399 352 50.99/51.09 c 3170 113491 8792001 1669403 0 2075 81 344 182 51.19/51.28 c 3180 113882 8824608 1675181 0 2083 369 381 342 51.39/51.47 c 3190 114287 8859225 1681567 0 2093 376 393 349 51.59/51.66 c 3200 114681 8891614 1687327 0 2103 214 385 278 51.80/51.86 c 3210 115124 8928722 1693591 0 2113 350 430 364 51.99/52.06 c 3220 115548 8963587 1699500 0 2121 366 412 356 52.19/52.24 c 3230 115907 8993571 1705945 0 2131 85 350 164 52.39/52.43 c 3240 116294 9026573 1711293 0 2136 328 377 336 52.59/52.60 c 3250 116698 9057957 1716967 0 2139 324 376 336 52.80/52.81 c 3260 117102 9094516 1722922 0 2149 331 394 343 52.99/53.01 c 3270 117515 9128712 1728709 0 2159 193 404 332 53.19/53.21 c 3280 117942 9164108 1734569 0 2166 205 416 338 53.39/53.41 c 3290 118329 9197892 1740811 0 2175 86 378 170 53.59/53.61 c 3300 118759 9234843 1746759 0 2179 345 413 368 53.79/53.80 c 3310 119141 9266997 1752093 0 2185 362 373 336 54.00/54.01 c 3320 119544 9305909 1758975 0 2194 338 390 343 54.19/54.24 c 3330 120004 9347674 1765504 0 2202 400 430 379 54.39/54.43 c 3340 120387 9380861 1770811 0 2210 361 365 330 54.59/54.63 c 3350 120807 9416564 1776576 0 2217 336 410 359 54.79/54.85 c 3360 121249 9455254 1783664 0 2221 245 417 363 55.00/55.07 c 3370 121693 9494128 1789902 0 2231 191 434 331 55.10/55.18 c 3380 121954 9513706 1796055 0 2241 95 251 130 55.29/55.37 c 3390 122352 9546287 1801765 0 2248 341 381 340 55.49/55.55 c 3400 122745 9579645 1807629 0 2255 193 380 322 55.69/55.76 c 3410 123165 9616049 1813266 0 2258 406 408 369 55.89/55.94 c 3420 123527 9646388 1818362 0 2266 344 348 315 56.10/56.13 c 3430 123915 9679476 1823980 0 2271 317 376 316 56.20/56.29 c 3440 124247 9707562 1830477 0 2281 120 323 196 56.49/56.50 c 3450 124646 9744107 1836504 0 2284 372 376 340 56.59/56.68 c 3460 125042 9775854 1842163 0 2290 246 374 304 56.79/56.87 c 3470 125419 9808775 1848266 0 2300 121 368 213 56.99/57.07 c 3480 125854 9844943 1853941 0 2310 374 426 366 57.20/57.25 c 3490 126229 9875800 1859723 0 2320 194 366 288 57.39/57.46 c 3500 126658 9913244 1865943 0 2330 221 416 341 57.59/57.66 c 3510 127075 9948338 1872358 0 2340 370 404 358 57.79/57.85 c 3520 127482 9982117 1877924 0 2349 219 398 340 57.99/58.04 c 3530 127879 10014739 1883137 0 2357 367 378 340 58.09/58.18 c 3540 128175 10037796 1887297 0 2359 275 275 250 58.30/58.31 c 3550 128470 10060454 1891589 0 2364 249 273 239 58.40/58.42 c 3551 128727 10077507 1895166 0 2365 257 257 128 58.49/58.59 c 3560 129080 10106752 1900317 0 2372 243 341 253 58.69/58.72 c 3570 129361 10128052 1904264 0 2374 257 259 234 58.79/58.88 c 3580 129706 10156741 1909013 0 2377 320 325 293 58.99/59.08 c 3590 130106 10190614 1914982 0 2387 307 387 315 59.19/59.27 c 3600 130510 10224887 1920654 0 2397 363 395 351 59.40/59.48 c 3610 130945 10261007 1926472 0 2404 256 424 340 59.59/59.67 c 3620 131375 10296649 1932607 0 2410 346 419 364 59.79/59.85 c 3630 131728 10326041 1937330 0 2419 314 340 303 59.89/59.99 c 3640 132020 10349187 1941592 0 2425 261 278 246 60.09/60.15 c 3650 132356 10377348 1946347 0 2431 313 319 288 60.29/60.30 c 3660 132676 10403671 1950896 0 2435 299 309 278 60.39/60.44 c 3670 132966 10425759 1955201 0 2438 272 279 251 60.50/60.57 c 3680 133274 10448111 1959256 0 2442 264 274 246 60.69/60.72 c 3690 133579 10473230 1963716 0 2447 262 294 262 60.79/60.84 c 3700 133867 10493671 1968085 0 2456 250 277 242 60.89/60.96 c 3710 134149 10512579 1972450 0 2458 262 269 241 60.99/61.04 c 3720 134398 10527951 1977473 0 2464 226 234 208 61.09/61.15 c 3730 134672 10546153 1982144 0 2470 237 254 226 61.29/61.30 c 3740 135005 10572236 1987698 0 2474 226 318 256 61.39/61.44 c 3750 135325 10596670 1992620 0 2481 248 305 247 61.60/61.61 c 3760 135719 10627532 1998525 0 2488 240 376 301 61.70/61.74 c 3770 135998 10648519 2003216 0 2498 81 270 165 61.79/61.88 c 3780 136318 10672241 2007596 0 2503 290 304 273 61.99/62.02 c 3790 136648 10697523 2012347 0 2507 249 316 269 62.09/62.19 c 3800 137053 10728746 2018090 0 2508 372 373 338 62.39/62.40 c 3810 137489 10765694 2024178 0 2516 384 424 366 62.49/62.59 c 3820 137879 10797552 2029830 0 2526 269 381 302 62.70/62.77 c 3830 138283 10830441 2035230 0 2530 214 385 332 62.89/62.98 c 3840 138701 10865814 2041079 0 2538 279 408 348 63.09/63.18 c 3850 139119 10900589 2047022 0 2548 272 409 333 63.29/63.37 c 3860 139510 10933694 2052525 0 2557 374 381 344 63.49/63.56 c 3870 139902 10966611 2058009 0 2566 303 377 331 63.69/63.74 c 3880 140275 10997156 2063255 0 2576 296 364 313 63.90/63.92 c 3890 140663 11029515 2068527 0 2586 303 379 308 64.09/64.10 c 3900 141024 11059164 2073398 0 2592 326 345 307 64.19/64.25 c 3910 141346 11085381 2077819 0 2598 287 309 278 64.39/64.40 c 3920 141660 11111139 2082201 0 2607 302 304 275 64.59/64.60 c 3930 142063 11147046 2088544 0 2615 318 393 340 64.79/64.81 c 3940 142479 11182895 2094694 0 2625 235 407 335 64.90/64.98 c 3950 142838 11211861 2099898 0 2635 86 348 211 65.09/65.17 c 3960 143231 11245650 2105984 0 2645 59 384 301 65.29/65.36 c 3970 143633 11279416 2111819 0 2652 290 387 334 65.49/65.55 c 3980 144018 11311883 2117162 0 2660 297 368 327 65.69/65.71 c 3990 144355 11339990 2121809 0 2669 288 319 276 65.79/65.84 c 4000 144659 11361965 2126731 0 2672 266 276 247 65.89/65.93 c 4001 144911 11377210 2130109 0 2673 252 252 126 66.00/66.06 c 4010 145195 11398421 2135120 0 2678 254 266 231 66.10/66.17 c 4020 145482 11416457 2139467 0 2681 233 244 219 66.19/66.27 c 4030 145749 11433762 2143536 0 2688 245 253 227 66.29/66.37 c 4040 146015 11450495 2147909 0 2691 240 243 219 66.49/66.52 c 4050 146298 11476183 2154907 0 2700 236 261 224 66.59/66.64 c 4060 146544 11495691 2160839 0 2707 225 232 207 66.69/66.74 c 4070 146819 11513629 2164962 0 2711 251 254 230 66.79/66.82 c 4080 147059 11527141 2169091 0 2715 219 223 201 66.89/66.90 c 4090 147299 11540532 2172917 0 2718 219 223 201 66.89/66.98 c 4100 147540 11554824 2177510 0 2722 220 224 202 66.99/67.06 c 4110 147778 11568756 2181541 0 2724 219 227 202 67.10/67.18 c 4120 148085 11588870 2186981 0 2729 219 284 240 67.20/67.23 c 4130 148235 11598145 2191704 0 2739 80 141 101 67.29/67.34 c 4140 148541 11617937 2196825 0 2742 219 278 246 67.39/67.44 c 4150 148791 11634574 2201733 0 2751 225 236 208 67.49/67.53 c 4160 149038 11650031 2206431 0 2757 218 234 204 67.59/67.61 c 4170 149279 11665103 2211556 0 2764 218 227 201 67.59/67.69 c 4180 149518 11679359 2216128 0 2767 218 222 200 67.69/67.78 c 4190 149763 11694056 2220747 0 2770 218 222 199 67.79/67.86 c 4200 150000 11707768 2224525 0 2774 216 220 198 67.89/67.99 c 4210 150307 11730480 2228895 0 2784 216 298 256 68.09/68.12 c 4220 150616 11753439 2233339 0 2790 229 295 240 68.20/68.26 c 4230 150922 11776371 2237605 0 2795 239 292 258 68.39/68.43 c 4240 151321 11807243 2243523 0 2798 281 374 326 68.59/68.60 c 4250 151728 11839166 2249387 0 2808 222 398 306 68.69/68.77 c 4260 152123 11869266 2254720 0 2816 283 363 305 68.89/68.94 c 4270 152498 11898041 2259607 0 2824 262 361 294 69.09/69.10 c 4280 152889 11928374 2265394 0 2827 275 367 320 69.19/69.26 c 4290 153223 11955983 2271158 0 2837 120 325 203 69.40/69.41 c 4300 153568 11982278 2276657 0 2840 308 314 282 69.49/69.58 c 4310 153892 12010344 2283542 0 2850 120 315 179 69.69/69.78 c 4320 154291 12044283 2289920 0 2857 258 386 310 69.89/69.97 c 4330 154693 12078325 2295771 0 2865 256 391 326 70.09/70.15 c 4340 155079 12109851 2300956 0 2871 248 376 327 70.29/70.33 c 4350 155449 12140145 2306144 0 2878 263 359 316 70.50/70.53 c 4360 155862 12174815 2311714 0 2884 369 402 356 70.69/70.73 c 4370 156274 12209740 2317379 0 2893 363 402 361 70.89/70.90 c 4380 156625 12238981 2322270 0 2903 251 339 279 70.99/71.07 c 4390 156976 12267329 2326936 0 2913 253 339 281 71.19/71.27 c 4400 157376 12302031 2333153 0 2921 286 390 327 71.39/71.48 c 4410 157813 12341153 2339860 0 2929 353 424 366 71.60/71.68 c 4420 158217 12374971 2345480 0 2939 291 395 329 71.79/71.87 c 4430 158604 12406937 2350851 0 2947 243 374 291 71.99/72.05 c 4440 158994 12438346 2355736 0 2957 248 381 293 72.19/72.23 c 4450 159362 12468212 2360474 0 2967 262 359 282 72.29/72.39 c 4460 159710 12495782 2365051 0 2977 267 330 271 72.49/72.55 c 4470 160045 12523075 2369457 0 2987 263 326 247 72.70/72.77 c 4480 160420 12561579 2376692 0 2995 350 365 326 72.89/72.96 c 4490 160817 12595187 2382337 0 3005 270 388 305 73.09/73.13 c 4493 161175 12624520 2387316 0 3008 303 356 249 73.29/73.31 c 4500 161548 12655297 2392306 0 3015 273 367 281 73.49/73.51 c 4510 161970 12690742 2398044 0 3023 301 404 348 73.70/73.71 c 4520 162370 12724823 2403623 0 3032 326 389 331 73.80/73.87 c 4530 162739 12753889 2408631 0 3042 279 360 271 73.99/74.03 c 4540 163076 12780725 2413462 0 3052 280 328 269 74.19/74.24 c 4550 163468 12819215 2420532 0 3060 267 382 317 74.39/74.43 c 4560 163861 12851923 2426435 0 3070 303 384 319 74.49/74.58 c 4570 164183 12879341 2431212 0 3074 260 302 268 74.69/74.74 c 4580 164557 12907295 2436900 0 3079 264 351 297 74.90/74.91 c 4590 164906 12936375 2442063 0 3089 131 340 226 75.09/75.12 c 4600 165277 12973403 2448606 0 3097 325 361 320 75.29/75.34 c 4610 165695 13011839 2455592 0 3107 362 409 356 75.49/75.54 c 4620 166089 13045976 2461109 0 3111 270 381 328 75.69/75.72 c 4630 166461 13077417 2466184 0 3117 301 355 311 75.90/75.93 c 4640 166872 13112176 2471710 0 3127 312 401 343 76.09/76.12 c 4650 167283 13145267 2477090 0 3132 366 378 338 76.29/76.31 c 4660 167684 13178632 2482483 0 3142 315 392 325 76.49/76.51 c 4670 168084 13213196 2488098 0 3147 276 390 333 76.69/76.70 c 4680 168470 13244983 2493240 0 3156 279 375 325 76.89/76.90 c 4690 168883 13279247 2498754 0 3161 318 399 353 77.00/77.10 c 4700 169278 13313946 2504847 0 3166 321 385 343 77.19/77.27 c 4710 169623 13343246 2509574 0 3172 311 328 295 77.39/77.45 c 4720 170004 13374500 2515513 0 3182 293 372 308 77.59/77.64 c 4730 170404 13408342 2521372 0 3192 288 385 331 77.79/77.84 c 4740 170796 13441472 2526696 0 3197 297 378 330 77.99/78.02 c 4750 171185 13473425 2531622 0 3207 314 378 323 78.20/78.21 c 4760 171574 13505959 2537254 0 3214 316 378 324 78.39/78.43 c 4770 171994 13543228 2543770 0 3224 261 411 307 78.59/78.61 c 4780 172374 13574385 2548636 0 3234 266 371 302 78.69/78.79 c 4790 172736 13605121 2553681 0 3243 246 352 303 78.89/78.99 c 4800 173159 13640236 2559516 0 3251 244 413 332 79.09/79.19 c 4810 173565 13675916 2565524 0 3258 249 386 327 79.39/79.41 c 4820 174020 13714162 2571539 0 3266 255 444 337 79.49/79.59 c 4830 174407 13746324 2576725 0 3276 92 378 291 79.69/79.78 c 4840 174822 13778824 2581831 0 3282 303 378 326 79.89/79.96 c 4850 175190 13809096 2586628 0 3292 319 355 309 80.09/80.16 c 4860 175612 13844264 2592532 0 3297 304 402 346 80.30/80.35 c 4870 176013 13877770 2597828 0 3307 359 392 350 80.49/80.55 c 4880 176404 13911123 2603200 0 3311 374 379 343 80.69/80.73 c 4890 176767 13941597 2608117 0 3314 320 352 315 80.89/80.94 c 4900 177163 13980589 2615168 0 3321 325 385 332 81.09/81.14 c 4910 177572 14015064 2620761 0 3331 269 400 297 81.29/81.33 c 4920 177961 14047122 2626170 0 3340 322 376 329 81.50/81.51 c 4930 178335 14078019 2631340 0 3346 322 359 323 81.69/81.72 c 4940 178741 14114924 2637764 0 3356 320 397 343 81.89/81.93 c 4950 179182 14153161 2644034 0 3366 322 432 359 82.09/82.14 c 4960 179635 14191900 2650291 0 3375 327 440 356 82.29/82.32 c 4970 179966 14221621 2655953 0 3385 91 321 227 82.50/82.50 c 4980 180321 14252960 2661258 0 3389 313 334 295 82.60/82.62 c 4990 180582 14271260 2665977 0 3395 235 247 219 82.89/82.97 c 5035 180990 14331400 2685697 0 3416 248 274 258 84.49/84.55 c 5631 183366 14625714 2738700 0 3444 261 390 341 86.29/86.30 c 6286 185748 14905978 2885015 0 3452 61 74 67 88.10/88.11 c 7006 188203 15200389 3024643 0 3456 37 53 44 89.29/89.39 c 7798 191200 15457403 3105967 0 3489 38 316 202 91.89/91.99 c 8669 194377 16034536 3212236 0 3521 39 374 310 93.39/93.50 c 9627 198093 16465560 3300837 0 3546 41 386 379 94.89/94.93 c 10680 200594 16816406 3380124 0 3577 40 449 444 96.19/96.21 c 11838 203323 17132556 3446274 0 3605 65 411 407 101.39/101.43 c 13111 215152 18229156 3536629 0 3620 65 379 362 104.69/104.71 c 14511 218457 18950261 3638909 0 3649 43 428 417 108.19/108.20 c 16051 224402 19596150 3795508 0 3697 109 537 309 112.09/112.14 c 17745 231914 20292305 3961493 0 3712 48 436 232 115.19/115.29 c 19608 235986 21006605 4075023 0 3732 46 459 439 119.09/119.13 c 21657 240995 21858689 4206654 0 3753 46 445 433 122.39/122.41 c 23910 246770 22674798 4366360 0 3778 47 467 457 126.99/127.08 c 26388 252462 23746782 4512500 0 3814 105 493 482 135.79/135.89 c 29113 263100 25384829 4710018 0 3829 106 492 343 144.09/144.11 c 32110 275303 27283167 4877648 0 3852 91 495 385 149.88/149.92 c 35406 288574 28455955 5166828 0 3869 211 472 425 157.39/157.43 c 39031 301397 29689133 5832553 0 3875 93 173 121 166.98/167.00 c 43018 315529 31270814 6904348 0 3880 46 66 58 177.98/178.06 c 47403 331816 33166301 8120033 0 3895 45 67 54 189.38/189.49 c 52226 348335 35171150 9626834 0 3902 43 72 53 196.28/196.33 c 57531 362173 36721772 10302373 0 3944 42 521 347 207.18/207.28 c 63366 381373 38776451 10900987 0 4018 45 470 319 219.98/220.08 c 69784 406258 41481655 11470549 0 4063 45 516 426 234.18/234.20 c 76843 447524 44904967 12102752 0 4093 46 642 595 245.18/245.24 c 84607 480086 47140887 13164790 0 4119 42 246 238 257.38/257.48 c 93147 515765 49870138 15428498 0 4126 105 132 114 270.47/270.53 c 102541 553682 52729216 17733740 0 4132 95 112 104 284.27/284.39 c 112874 590764 55623105 19804535 0 4141 85 105 97 300.07/300.18 c 124240 631936 58696076 21830984 0 4147 76 95 86 320.47/320.56 c 136742 681660 62967632 24902832 0 4155 72 92 82 338.88/338.96 c 150494 727899 66828804 26798162 0 4188 69 494 290 364.87/364.95 c 165621 765773 72281757 27989742 0 4232 71 400 386 402.07/402.12 c 182260 819823 79803628 29027606 0 4302 71 364 348 448.07/448.18 c 200562 904945 87727570 32330851 0 4320 70 249 220 495.77/495.84 c 220694 980307 95695996 36059572 0 4337 70 211 199 547.17/547.26 c 242839 1062287 105098873 41405396 0 4353 71 220 201 599.07/599.19 c 267198 1142238 114037678 46001554 0 4365 71 222 199 660.46/660.51 c 293992 1237938 124183279 50311019 0 4385 71 213 198 732.06/732.16 c 323465 1343355 136360881 57321174 0 4397 41 71 56 796.56/796.66 c 355885 1442354 147923880 62178904 0 4435 39 354 253 835.36/835.49 c 391547 1555157 156361297 63610834 0 4492 41 341 317 931.16/931.21 c 430775 1652991 178192768 66671489 0 4552 43 383 348 972.96/973.08 c 473925 1783941 187022322 68018498 0 4579 65 315 312 1089.16/1089.21 c 521390 1939282 210886832 71856036 0 4638 50 252 239 1233.06/1233.20 c 573601 2122028 240205241 75984277 0 4673 96 229 224 1365.55/1365.66 c 631033 2320783 266955936 80920219 0 4687 98 309 230 1516.95/1517.03 c 694208 2498732 294814515 84079854 0 4722 57 268 253 1708.24/1708.36 c 763700 2715296 331767483 92583661 0 4758 71 373 270 1846.63/1846.80 c 840141 3056735 358193841 104512796 0 4767 87 109 102 2000.73/2000.88 c 924226 3332594 389297289 111820072 0 4820 57 365 259 2087.63/2087.71 c 1016719 3536733 414499494 118208081 0 4916 63 425 404 2187.03/2187.19 c 1118461 3774099 438700513 124377164 0 4981 62 418 395 2187.13/2187.22 conflict 54lvl : 60 bt57-5947:0(769)X1729878
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-4241731-1500651318/watcher-4241731-1500651318 -o /tmp/evaluation-result-4241731-1500651318/solver-4241731-1500651318 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500648178-9865 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241731-1500651318.xml pid=10785 running on 8 cores: 1,3,5,7,9,11,13,15 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.10 2.07 1.97 3/242 10788 /proc/meminfo: memFree=31359824/32770624 swapFree=6096/193528 [pid=10788] ppid=10785 vsize=27648 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 1120 0 0 0 0 0 0 0 20 0 1 0 401352 28311552 904 33554432000 4194304 5970956 140721501326464 140721501323112 140610143792101 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 6912 904 704 434 0 276 0 [startup+0.100151 s] /proc/loadavg: 2.10 2.07 1.97 3/242 10788 /proc/meminfo: memFree=31359824/32770624 swapFree=6096/193528 [pid=10788] ppid=10785 vsize=35168 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 3044 0 0 0 9 0 0 0 20 0 1 0 401352 36012032 2870 33554432000 4194304 5970956 140721501326464 140721501320216 140610143792101 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 8792 2870 752 434 0 2156 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35168 [startup+0.200341 s] /proc/loadavg: 2.10 2.07 1.97 3/242 10788 /proc/meminfo: memFree=31359824/32770624 swapFree=6096/193528 [pid=10788] ppid=10785 vsize=45060 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 4517 0 0 0 19 0 0 0 20 0 1 0 401352 46141440 4808 33554432000 4194304 5970956 140721501326464 140721501323272 140610143792101 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 11265 4808 802 434 0 4629 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 45060 [startup+0.300319 s] /proc/loadavg: 2.10 2.07 1.97 3/242 10788 /proc/meminfo: memFree=31359824/32770624 swapFree=6096/193528 [pid=10788] ppid=10785 vsize=45984 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 4741 0 0 0 29 0 0 0 20 0 1 0 401352 47087616 5072 33554432000 4194304 5970956 140721501326464 140721501323432 140610143792101 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 11496 5072 802 434 0 4860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 45984 [startup+0.700211 s] /proc/loadavg: 2.10 2.07 1.97 3/242 10788 /proc/meminfo: memFree=31359824/32770624 swapFree=6096/193528 [pid=10788] ppid=10785 vsize=47436 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 5109 0 0 0 69 0 0 0 20 0 1 0 401352 48574464 5402 33554432000 4194304 5970956 140721501326464 140721501323800 140610143792101 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 11859 5402 802 434 0 5223 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47436 [startup+1.50021 s] /proc/loadavg: 2.10 2.07 1.97 3/243 10789 /proc/meminfo: memFree=31339972/32770624 swapFree=6096/193528 [pid=10788] ppid=10785 vsize=48492 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 5383 0 0 0 149 0 0 0 20 0 1 0 401352 49655808 5732 33554432000 4194304 5970956 140721501326464 140721501323800 5136596 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 12123 5732 805 434 0 5487 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 48492 [startup+3.10023 s] /proc/loadavg: 2.10 2.07 1.97 3/243 10789 /proc/meminfo: memFree=31339412/32770624 swapFree=6096/193612 [pid=10788] ppid=10785 vsize=48756 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 9240 0 0 0 308 1 0 0 20 0 1 0 401352 49926144 5794 33554432000 4194304 5970956 140721501326464 140721501323800 5136615 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 12189 5794 805 434 0 5553 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 48756 [startup+6.30021 s] /proc/loadavg: 2.09 2.07 1.97 3/243 10789 /proc/meminfo: memFree=31339504/32770624 swapFree=6096/193556 [pid=10788] ppid=10785 vsize=48888 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 13320 0 0 0 628 1 0 0 20 0 1 0 401352 50061312 5832 33554432000 4194304 5970956 140721501326464 140721501323800 5044849 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 12222 5832 805 434 0 5586 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48888 [startup+12.7002 s] /proc/loadavg: 2.08 2.07 1.97 3/243 10789 /proc/meminfo: memFree=31339132/32770624 swapFree=6096/193564 [pid=10788] ppid=10785 vsize=48888 CPUtime=12.69 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 17282 0 0 0 1268 1 0 0 20 0 1 0 401352 50061312 5843 33554432000 4194304 5970956 140721501326464 140721501323800 5136786 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 12222 5843 805 434 0 5586 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48888 [startup+25.5003 s] /proc/loadavg: 2.06 2.06 1.97 3/243 10789 /proc/meminfo: memFree=31339256/32770624 swapFree=6096/193588 [pid=10788] ppid=10785 vsize=49008 CPUtime=25.49 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 25262 0 0 0 2548 1 0 0 20 0 1 0 401352 50184192 5848 33554432000 4194304 5970956 140721501326464 140721501323800 5044857 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 12252 5848 805 434 0 5616 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49008 [startup+51.1003 s] /proc/loadavg: 2.04 2.06 1.97 3/243 10789 /proc/meminfo: memFree=31339112/32770624 swapFree=6096/193580 [pid=10788] ppid=10785 vsize=49008 CPUtime=51.09 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 29748 0 0 0 5107 2 0 0 20 0 1 0 401352 50184192 6116 33554432000 4194304 5970956 140721501326464 140721501323800 5136620 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 12252 6116 805 434 0 5616 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 49008 [startup+102.3 s] /proc/loadavg: 2.02 2.05 1.97 3/243 10790 /proc/meminfo: memFree=31336424/32770624 swapFree=6096/193672 [pid=10788] ppid=10785 vsize=51728 CPUtime=102.3 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 35223 0 0 0 10228 2 0 0 20 0 1 0 401352 52969472 6599 33554432000 4194304 5970956 140721501326464 140721501323800 5044849 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 12932 6599 805 434 0 6296 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 51728 [startup+162.3 s] /proc/loadavg: 2.09 2.06 1.98 3/243 10791 /proc/meminfo: memFree=31334644/32770624 swapFree=6096/193764 [pid=10788] ppid=10785 vsize=52020 CPUtime=162.28 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 40222 0 0 0 16226 2 0 0 20 0 1 0 401352 53268480 6766 33554432000 4194304 5970956 140721501326464 140721501323800 5136634 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13005 6766 805 434 0 6369 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 52020 [startup+222.308 s] /proc/loadavg: 2.10 2.06 1.98 3/243 10792 /proc/meminfo: memFree=31334896/32770624 swapFree=6096/193856 [pid=10788] ppid=10785 vsize=52152 CPUtime=222.28 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 41839 0 0 0 22226 2 0 0 20 0 1 0 401352 53403648 6834 33554432000 4194304 5970956 140721501326464 140721501323272 5044845 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13038 6834 805 434 0 6402 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 52152 [startup+282.3 s] /proc/loadavg: 2.04 2.05 1.98 3/243 10793 /proc/meminfo: memFree=31334768/32770624 swapFree=6096/193964 [pid=10788] ppid=10785 vsize=52416 CPUtime=282.27 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 42681 0 0 0 28225 2 0 0 20 0 1 0 401352 53673984 6964 33554432000 4194304 5970956 140721501326464 140721501323800 5045224 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 6964 805 434 0 6468 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 52416 [startup+342.3 s] /proc/loadavg: 2.01 2.04 1.98 3/243 10801 /proc/meminfo: memFree=31333484/32770624 swapFree=6096/194056 [pid=10788] ppid=10785 vsize=52416 CPUtime=342.27 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 43824 0 0 0 34225 2 0 0 20 0 1 0 401352 53673984 6976 33554432000 4194304 5970956 140721501326464 140721501323800 5045964 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 6976 805 434 0 6468 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 52416 [startup+402.3 s] /proc/loadavg: 2.00 2.04 1.98 3/243 10802 /proc/meminfo: memFree=31332872/32770624 swapFree=6096/194140 [pid=10788] ppid=10785 vsize=52416 CPUtime=402.27 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 44937 0 0 0 40225 2 0 0 20 0 1 0 401352 53673984 6987 33554432000 4194304 5970956 140721501326464 140721501323800 5046164 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 6987 805 434 0 6468 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 52416 [startup+462.3 s] /proc/loadavg: 2.00 2.03 1.98 3/243 10803 /proc/meminfo: memFree=31332592/32770624 swapFree=6096/194244 [pid=10788] ppid=10785 vsize=52416 CPUtime=462.27 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 45716 0 0 0 46225 2 0 0 20 0 1 0 401352 53673984 7008 33554432000 4194304 5970956 140721501326464 140721501323800 5031424 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 7008 805 434 0 6468 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 52416 [startup+522.3 s] /proc/loadavg: 2.00 2.02 1.98 3/243 10804 /proc/meminfo: memFree=31331228/32770624 swapFree=6096/194336 [pid=10788] ppid=10785 vsize=52416 CPUtime=522.27 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 46477 0 0 0 52225 2 0 0 20 0 1 0 401352 53673984 7011 33554432000 4194304 5970956 140721501326464 140721501323800 5136608 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 7011 805 434 0 6468 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 52416 [startup+582.3 s] /proc/loadavg: 2.00 2.02 1.98 3/243 10805 /proc/meminfo: memFree=31331100/32770624 swapFree=6096/194436 [pid=10788] ppid=10785 vsize=52416 CPUtime=582.27 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 47259 0 0 0 58225 2 0 0 20 0 1 0 401352 53673984 7013 33554432000 4194304 5970956 140721501326464 140721501323800 5044862 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 7013 805 434 0 6468 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 52416 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.62 3.68 3.12 3/244 11038 /proc/meminfo: memFree=32108960/32770624 swapFree=6096/16016 [pid=10788] ppid=10785 vsize=52416 CPUtime=1482.24 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 60984 0 0 0 148221 3 0 0 20 0 1 0 401352 53673984 7073 33554432000 4194304 5970956 140721501326464 140721501323800 5031455 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 7073 805 434 0 6468 0 Current children cumulated CPU time (s) 1482.24 Current children cumulated vsize (KiB) 52416 [startup+1542.31 s] /proc/loadavg: 2.23 3.37 3.05 3/244 11046 /proc/meminfo: memFree=32105484/32770624 swapFree=6096/16216 [pid=10788] ppid=10785 vsize=52416 CPUtime=1542.25 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 62207 0 0 0 154222 3 0 0 20 0 1 0 401352 53673984 7080 33554432000 4194304 5970956 140721501326464 140721501323800 5136560 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 7080 805 434 0 6468 0 Current children cumulated CPU time (s) 1542.25 Current children cumulated vsize (KiB) 52416 [startup+1602.3 s] /proc/loadavg: 2.21 3.15 3.00 3/244 11069 /proc/meminfo: memFree=32104604/32770624 swapFree=6096/16384 [pid=10788] ppid=10785 vsize=52416 CPUtime=1602.24 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 63197 0 0 0 160221 3 0 0 20 0 1 0 401352 53673984 7080 33554432000 4194304 5970956 140721501326464 140721501323800 5045964 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 7080 805 434 0 6468 0 Current children cumulated CPU time (s) 1602.24 Current children cumulated vsize (KiB) 52416 [startup+1662.3 s] /proc/loadavg: 2.11 2.96 2.94 3/244 11070 /proc/meminfo: memFree=32104984/32770624 swapFree=6096/16444 [pid=10788] ppid=10785 vsize=52416 CPUtime=1662.23 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 63760 0 0 0 166220 3 0 0 20 0 1 0 401352 53673984 7080 33554432000 4194304 5970956 140721501326464 140721501323800 5136620 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 7080 805 434 0 6468 0 Current children cumulated CPU time (s) 1662.23 Current children cumulated vsize (KiB) 52416 [startup+1722.3 s] /proc/loadavg: 2.04 2.78 2.88 3/243 11071 /proc/meminfo: memFree=32105532/32770624 swapFree=6096/16496 [pid=10788] ppid=10785 vsize=52416 CPUtime=1722.23 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 64578 0 0 0 172220 3 0 0 20 0 1 0 401352 53673984 7086 33554432000 4194304 5970956 140721501326464 140721501323800 5045964 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 7086 805 434 0 6468 0 Current children cumulated CPU time (s) 1722.23 Current children cumulated vsize (KiB) 52416 [startup+1782.3 s] /proc/loadavg: 2.01 2.64 2.83 3/243 11072 /proc/meminfo: memFree=32105692/32770624 swapFree=6096/16568 [pid=10788] ppid=10785 vsize=52416 CPUtime=1782.23 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 65004 0 0 0 178220 3 0 0 20 0 1 0 401352 53673984 7086 33554432000 4194304 5970956 140721501326464 140721501323800 5046384 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 7086 805 434 0 6468 0 Current children cumulated CPU time (s) 1782.23 Current children cumulated vsize (KiB) 52416 [startup+1842.3 s] /proc/loadavg: 2.01 2.52 2.78 3/243 11073 /proc/meminfo: memFree=32105852/32770624 swapFree=6096/16620 [pid=10788] ppid=10785 vsize=52416 CPUtime=1842.23 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 65437 0 0 0 184220 3 0 0 20 0 1 0 401352 53673984 7086 33554432000 4194304 5970956 140721501326464 140721501323800 5046962 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 7086 805 434 0 6468 0 Current children cumulated CPU time (s) 1842.23 Current children cumulated vsize (KiB) 52416 [startup+1902.3 s] /proc/loadavg: 2.00 2.43 2.73 3/243 11074 /proc/meminfo: memFree=32104396/32770624 swapFree=6096/16656 [pid=10788] ppid=10785 vsize=52416 CPUtime=1902.23 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 66356 0 0 0 190220 3 0 0 20 0 1 0 401352 53673984 7087 33554432000 4194304 5970956 140721501326464 140721501323800 5046440 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 7087 805 434 0 6468 0 Current children cumulated CPU time (s) 1902.23 Current children cumulated vsize (KiB) 52416 [startup+1962.3 s] /proc/loadavg: 2.00 2.35 2.68 3/243 11075 /proc/meminfo: memFree=32104248/32770624 swapFree=6096/16704 [pid=10788] ppid=10785 vsize=52416 CPUtime=1962.22 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 67372 0 0 0 196219 3 0 0 20 0 1 0 401352 53673984 7087 33554432000 4194304 5970956 140721501326464 140721501323800 5045183 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13104 7087 805 434 0 6468 0 Current children cumulated CPU time (s) 1962.22 Current children cumulated vsize (KiB) 52416 [startup+2022.3 s] /proc/loadavg: 2.00 2.29 2.64 3/242 11076 /proc/meminfo: memFree=32106136/32770624 swapFree=6096/16752 [pid=10788] ppid=10785 vsize=52544 CPUtime=2022.23 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 68576 0 0 0 202219 4 0 0 20 0 1 0 401352 53805056 7102 33554432000 4194304 5970956 140721501326464 140721501323800 5045029 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13136 7102 805 434 0 6500 0 Current children cumulated CPU time (s) 2022.23 Current children cumulated vsize (KiB) 52544 [startup+2082.3 s] /proc/loadavg: 2.00 2.23 2.60 3/243 11078 /proc/meminfo: memFree=32104036/32770624 swapFree=6096/17960 [pid=10788] ppid=10785 vsize=52544 CPUtime=2082.24 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 69104 0 0 0 208220 4 0 0 20 0 1 0 401352 53805056 7102 33554432000 4194304 5970956 140721501326464 140721501323800 5044845 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13136 7102 805 434 0 6500 0 Current children cumulated CPU time (s) 2082.24 Current children cumulated vsize (KiB) 52544 [startup+2142.3 s] /proc/loadavg: 2.07 2.21 2.57 3/245 11088 /proc/meminfo: memFree=32102560/32770624 swapFree=6096/17976 [pid=10788] ppid=10785 vsize=52544 CPUtime=2142.23 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 70333 0 0 0 214219 4 0 0 20 0 1 0 401352 53805056 7135 33554432000 4194304 5970956 140721501326464 140721501323800 5045760 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13136 7135 805 434 0 6500 0 Current children cumulated CPU time (s) 2142.23 Current children cumulated vsize (KiB) 52544 [startup+2202.31 s] /proc/loadavg: 2.06 2.18 2.54 3/245 11089 /proc/meminfo: memFree=32102716/32770624 swapFree=6096/18032 [pid=10788] ppid=10785 vsize=52544 CPUtime=2202.23 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 71494 0 0 0 220219 4 0 0 20 0 1 0 401352 53805056 7159 33554432000 4194304 5970956 140721501326464 140721501323896 5031747 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13136 7159 808 434 0 6500 0 Current children cumulated CPU time (s) 2202.23 Current children cumulated vsize (KiB) 52544 [startup+2262.3 s] /proc/loadavg: 2.02 2.15 2.50 3/245 11090 /proc/meminfo: memFree=32102828/32770624 swapFree=6096/18068 [pid=10788] ppid=10785 vsize=52544 CPUtime=2262.22 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 72690 0 0 0 226218 4 0 0 20 0 1 0 401352 53805056 7159 33554432000 4194304 5970956 140721501326464 140721501323896 5136620 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13136 7159 808 434 0 6500 0 Current children cumulated CPU time (s) 2262.22 Current children cumulated vsize (KiB) 52544 [startup+2322.3 s] /proc/loadavg: 2.01 2.12 2.47 3/245 11091 /proc/meminfo: memFree=32102080/32770624 swapFree=6096/18116 [pid=10788] ppid=10785 vsize=52544 CPUtime=2322.22 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 73286 0 0 0 232218 4 0 0 20 0 1 0 401352 53805056 7159 33554432000 4194304 5970956 140721501326464 140721501323896 5031424 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13136 7159 808 434 0 6500 0 Current children cumulated CPU time (s) 2322.22 Current children cumulated vsize (KiB) 52544 [startup+2382.3 s] /proc/loadavg: 2.00 2.10 2.44 3/245 11092 /proc/meminfo: memFree=32101732/32770624 swapFree=6096/18168 [pid=10788] ppid=10785 vsize=52544 CPUtime=2382.22 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 73830 0 0 0 238218 4 0 0 20 0 1 0 401352 53805056 7159 33554432000 4194304 5970956 140721501326464 140721501323896 5136560 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13136 7159 808 434 0 6500 0 Current children cumulated CPU time (s) 2382.22 Current children cumulated vsize (KiB) 52544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.1 s] /proc/loadavg: 2.00 2.10 2.43 3/243 11092 /proc/meminfo: memFree=32101764/32770624 swapFree=6096/18176 [pid=10788] ppid=10785 vsize=52544 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15 /proc/10788/stat : 10788 (cosoco) R 10785 10788 9833 0 -1 4202496 74297 0 0 0 239998 4 0 0 20 0 1 0 401352 53805056 7159 33554432000 4194304 5970956 140721501326464 140721501323896 5045964 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 15196160 140721501328572 140721501328707 140721501328707 140721501331406 0 /proc/10788/statm: 13136 7159 808 434 0 6500 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 52544 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 10788 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.1 CPU time (s): 2400.03 CPU user time (s): 2399.98 CPU system time (s): 0.044998 CPU usage (%): 99.9969 Max. virtual memory (cumulated for all children) (KiB): 52544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.98 system time used= 0.044998 maximum resident set size= 28680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74324 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 120746 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.0663 second user time and 11.2206 second system time The end
Begin job on node107 at 2017-07-21 17:35:18 IDJOB=4241731 IDBENCH=128124 IDSOLVER=2621 FILE ID=node107/4241731-1500651318 RUNJOBID= node107-1500648178-9865 PBS_JOBID= 20623307 Free space on /tmp= 61868 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-85-05.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241731-1500651318/watcher-4241731-1500651318 -o /tmp/evaluation-result-4241731-1500651318/solver-4241731-1500651318 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500648178-9865 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241731-1500651318.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 5a3f618f89c6aa3a803c36caec9b03ca RANDOM SEED=1566381671 node107.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.05 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 : 1600.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.05 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 : 2400.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.05 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.05 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 : 1733.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 : 1600.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.05 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 : 1867.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 : 2133.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.05 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 : 2267.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 : 2668.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.05 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 : 2000.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 : 1600.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.05 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: 31359888 kB MemAvailable: 31357264 kB Buffers: 38040 kB Cached: 269848 kB SwapCached: 0 kB Active: 834604 kB Inactive: 202076 kB Active(anon): 731752 kB Inactive(anon): 8548 kB Active(file): 102852 kB Inactive(file): 193528 kB Unevictable: 6096 kB Mlocked: 6096 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2540 kB Writeback: 0 kB AnonPages: 744548 kB Mapped: 31260 kB Shmem: 8852 kB Slab: 65024 kB SReclaimable: 33664 kB SUnreclaim: 31360 kB KernelStack: 4544 kB PageTables: 6780 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1003852 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 684032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 61868 MiB End job on node107 at 2017-07-21 18:15:18