1.28/1.34 c root propagations : 353299
1.28/1.34 c restarts enabled, print stats at every restarts
1.28/1.34 c
1.28/1.34 c
1.28/1.34 c
1.28/1.34 c This is cosoco 2.00 --
1.28/1.34 c
1.28/1.34 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390075-1568340454.xml
1.28/1.34 c ========================================[ Problem Statistics ]===========================================
1.28/1.34 c |
1.28/1.34 c | Parse time : 0.07 s
1.28/1.34 c |
1.28/1.34 c | Variables: 900
1.28/1.34 c | Domain Sizes: 1000..1000
1.28/1.34 c |
1.28/1.34 c | Constraints: 2799
1.28/1.34 c | Arity: 1..900 -- Unary: 371 -- Binary: 2427
1.28/1.34 c |
1.28/1.34 c | Types:
1.28/1.34 c | All Different: 1
1.28/1.34 c | Extension: 2427 (nb tuples: 5978..5978) -- (shared: 2794)
1.28/1.34 c | Unary: 371
1.28/1.34 c |
1.28/1.34 c =========================================================================================================
1.28/1.34 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
2.00/2.09 c First solution is found
2.00/2.10 s SATISFIABLE
2.00/2.10 c restarts : 0
2.00/2.10 c conflicts : 58 (28 /sec)
2.00/2.10 c decisions : 958 (459 /sec)
2.00/2.10 c propagations : 1743557 (835558 /sec)
2.00/2.10 c root propagations : 353299
2.00/2.10 c filter calls : 81877 (39238 /sec)
2.00/2.10 c useless filter calls : 57278 (69 %)
2.00/2.10 c Memory used : 66.84 MB
2.00/2.10 c CPU time : 2.0867 s
2.00/2.10 c real time : 2.09565 s
2.00/2.10
2.00/2.10 c solution 1
2.00/2.10
2.00/2.10 v <instantiation type='solution'>
2.00/2.10 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] </list>
2.00/2.10 v <values>399 533 496 577 527 77 897 229 66 712 901 221 489 604 995 951 666 182 894 55 12 814 21 615 873 786 797 115 476 721 252 806 608 981 874 273 30 415 334 946 957 985 41 526 990 741 372 385 682 689 411 59 313 379 763 877 31 116 364 642 93 860 916 478 944 905 986 709 725 660 700 380 722 267 434 833 452 929 99 153 37 323 397 236 823 680 754 809 32 961 807 368 137 362 162 909 773 227 189 746 422 747 391 491 931 286 870 164 819 27 996 559 535 605 309 531 621 776 943 69 335 474 107 928 796 935 429 40 417 532 772 60 853 967 203 70 438 64 33 691 400 966 618 521 749 903 718 135 341 418 285 537 581 684 506 228 239 854 464 678 902 76 222 719 868 799 483 546 402 812 469 85 795 603 57 852 291 619 520 24 914 668 528 565 170 934 798 350 801 277 979 820 950 47 634 887 964 294 912 907 654 8 125 61 237 892 180 830 52 988 829 245 599 448 254 295 790 165 409 687 454 10 408 349 151 949 555 641 223 199 169 969 46 0 179 157 192 540 578 636 371 963 95 760 140 888 569 739 81 355 574 748 396 428 383 242 5 453 674 975 436 736 871 272 403 910 201 376 281 977 156 900 78 659 449 728 235 623 927 677 508 716 908 495 148 475 177 759 466 306 896 973 9 468 437 351 159 238 486 126 593 702 419 968 663 628 514 83 29 515 850 846 131 915 314 231 345 141 849 378 322 73 834 842 367 450 839 311 646 102 331 865 358 457 941 460 34 890 283 455 17 989 976 184 743 925 387 933 522 287 183 218 770 960 369 781 831 316 463 767 288 211 217 681 472 695 568 769 346 241 53 363 766 204 384 23 11 2 875 734 788 108 587 510 580 625 390 562 557 144 956 596 512 461 613 246 672 154 761 753 321 456 713 91 627 780 431 970 74 289 375 426 122 145 952 638 248 622 274 67 424 942 447 704 394 338 65 388 220 432 446 765 290 779 679 595 427 600 256 365 858 420 771 724 644 84 610 840 958 185 168 730 517 293 983 637 545 296 425 202 962 614 524 729 924 881 327 556 121 866 862 382 847 80 356 821 612 601 433 377 813 611 999 777 692 563 683 4 215 473 803 699 16 481 891 843 208 639 35 49 710 895 482 505 271 63 497 653 735 664 499 136 442 337 509 111 261 440 43 971 997 269 430 851 373 470 650 308 441 607 467 959 885 172 280 319 762 867 149 633 493 103 234 186 742 401 732 530 445 462 893 500 863 105 775 745 583 353 188 386 586 547 575 752 937 872 119 816 190 484 320 655 789 129 104 564 278 421 213 44 738 920 571 120 804 22 307 792 629 174 631 15 299 836 494 56 579 410 727 845 844 783 480 284 7 71 264 576 224 855 193 714 987 992 298 123 542 317 451 696 300 395 51 492 160 697 686 670 671 640 413 416 98 443 200 993 906 662 423 167 544 711 693 541 656 240 97 635 669 808 127 152 304 263 207 87 247 661 667 953 101 764 818 366 939 147 392 793 404 706 649 109 785 984 755 106 196 879 315 822 262 665 312 72 114 707 930 197 112 96 354 538 146 827 86 89 258 205 344 701 560 861 948 543 75 150 82 570 553 171 259 498 518 490 195 333 110 412 511 740 88 332 620 591 609 142 923 726 688 54 856 817 864 675 548 407 161 768 393 414 79 175 566 606 276 841 800 36 715 266 303 13 226 886 889 643 723 181 744 324 945 124 487 18 100 534 630 955 733 791 48 398 974 884 737 297 648 243 206 572 163 869 503 257 940 848 698 275 444 828 835 751 113 459 978 326 301 794 488 25 536 270 279 549 214 787 878 340 19 857 624 336 690 657 6 117 899 187 265 645 584 717 573 471 328 325 589 980 458 837 485 911 758 389 802 750 947 28 143 513 198 132 811 592 166 703 550 708 139 477 898 567 552 554 439 507 359 598 826 705 756 594 230 370 965 558 917 1 982 932 128 268 360 173 859 519 617 405 244 14 210 585 251 260 225 882 651 347 602 194 919 178 465 134 138 523 219 810 305 685 </values>
2.00/2.10 v </instantiation>
2.00/2.10
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10400 MiB free)
memory of node 1: 16384 MiB (13046 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390075-1568340454/watcher-4390075-1568340454 -o /tmp/evaluation-result-4390075-1568340454/solver-4390075-1568340454 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568335547-17181 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390075-1568340454.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18692, runsolver pid=18689
Current StackSize limit: 8192 KiB
[startup+0.100163 s]*
/proc/loadavg: 2.16 2.07 2.00 3/199 18693
/proc/meminfo: memFree=23969780/32770624 swapFree=67108848/67108860
[pid=18692] ppid=18689 vsize=66852 memory=43312 CPUtime=0.09 cores=1,3,5,7
/proc/18692/stat : 18692 (cosoco) R 18689 18692 17149 0 -1 4202496 11064 0 0 0 9 0 0 0 20 0 1 0 409982820 68456448 10828 33554432000 4194304 6210612 140731745405232 140731745401768 5017320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28471296 140731745412107 140731745412209 140731745412209 140731745415118 0
/proc/18692/statm: 16713 10828 821 493 0 10018 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66852 KiB
Current children cumulated memory: 43312 KiB
[startup+0.209661 s]*
/proc/loadavg: 2.16 2.07 2.00 3/199 18693
/proc/meminfo: memFree=23969780/32770624 swapFree=67108848/67108860
[pid=18692] ppid=18689 vsize=66852 memory=43312 CPUtime=0.2 cores=1,3,5,7
/proc/18692/stat : 18692 (cosoco) R 18689 18692 17149 0 -1 4202496 11064 0 0 0 20 0 0 0 20 0 1 0 409982820 68456448 10828 33554432000 4194304 6210612 140731745405232 140731745401768 5082029 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28471296 140731745412107 140731745412209 140731745412209 140731745415118 0
/proc/18692/statm: 16713 10828 821 493 0 10018 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66852 KiB
Current children cumulated memory: 43312 KiB
[startup+0.309186 s]*
/proc/loadavg: 2.16 2.07 2.00 3/199 18693
/proc/meminfo: memFree=23969424/32770624 swapFree=67108848/67108860
[pid=18692] ppid=18689 vsize=66852 memory=43312 CPUtime=0.3 cores=1,3,5,7
/proc/18692/stat : 18692 (cosoco) R 18689 18692 17149 0 -1 4202496 11064 0 0 0 30 0 0 0 20 0 1 0 409982820 68456448 10828 33554432000 4194304 6210612 140731745405232 140731745401768 5017320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28471296 140731745412107 140731745412209 140731745412209 140731745415118 0
/proc/18692/statm: 16713 10828 821 493 0 10018 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66852 KiB
Current children cumulated memory: 43312 KiB
[startup+0.700305 s]
/proc/loadavg: 2.16 2.07 2.00 4/199 18693
/proc/meminfo: memFree=23969300/32770624 swapFree=67108848/67108860
[pid=18692] ppid=18689 vsize=66852 memory=43312 CPUtime=0.68 cores=1,3,5,7
/proc/18692/stat : 18692 (cosoco) R 18689 18692 17149 0 -1 4202496 11064 0 0 0 68 0 0 0 20 0 1 0 409982820 68456448 10828 33554432000 4194304 6210612 140731745405232 140731745403496 5017232 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28471296 140731745412107 140731745412209 140731745412209 140731745415118 0
/proc/18692/statm: 16713 10828 821 493 0 10018 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66852 KiB
Current children cumulated memory: 43312 KiB
[startup+1.50036 s]
/proc/loadavg: 2.16 2.07 2.00 3/199 18693
/proc/meminfo: memFree=23969176/32770624 swapFree=67108848/67108860
[pid=18692] ppid=18689 vsize=66852 memory=43312 CPUtime=1.48 cores=1,3,5,7
/proc/18692/stat : 18692 (cosoco) R 18689 18692 17149 0 -1 4202496 11066 0 0 0 148 0 0 0 20 0 1 0 409982820 68456448 10828 33554432000 4194304 6210612 140731745405232 140731745403496 5017076 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28471296 140731745412107 140731745412209 140731745412209 140731745415118 0
/proc/18692/statm: 16713 10828 821 493 0 10018 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66852 KiB
Current children cumulated memory: 43312 KiB
[startup+2.10349 s]
# the end of solver process 18692 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.0867 s, system=0.015999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60039 s]
/proc/loadavg: 2.16 2.07 2.00 3/199 18693
/proc/meminfo: memFree=23969176/32770624 swapFree=67108848/67108860
[pid=18692] ppid=18689 vsize=66852 memory=43312 CPUtime=1.59 cores=1,3,5,7
/proc/18692/stat : 18692 (cosoco) R 18689 18692 17149 0 -1 4202496 11066 0 0 0 159 0 0 0 20 0 1 0 409982820 68456448 10828 33554432000 4194304 6210612 140731745405232 140731745403496 5079064 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28471296 140731745412107 140731745412209 140731745412209 140731745415118 0
/proc/18692/statm: 16713 10828 821 493 0 10018 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 66852 KiB
Current children cumulated memory: 43312 KiB
[startup+2.00032 s]*
/proc/loadavg: 2.15 2.07 2.00 3/199 18693
/proc/meminfo: memFree=23969176/32770624 swapFree=67108848/67108860
[pid=18692] ppid=18689 vsize=66852 memory=43472 CPUtime=2 cores=1,3,5,7
/proc/18692/stat : 18692 (cosoco) R 18689 18692 17149 0 -1 4202496 13403 0 0 0 199 1 0 0 20 0 1 0 409982820 68456448 10868 33554432000 4194304 6210612 140731745405232 140731745403496 5008599 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 28471296 140731745412107 140731745412209 140731745412209 140731745415118 0
/proc/18692/statm: 16713 10868 860 493 0 10018 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 66852 KiB
Current children cumulated memory: 43472 KiB
Child status: 0
Real time (s): 2.10352
CPU time (s): 2.1027
CPU user time (s): 2.0867
CPU system time (s): 0.015999
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 66852
Max. memory (cumulated for all children) (KiB): 43472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.0867
system time used= 0.015999
maximum resident set size= 45136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19273
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= 15
involuntary context switches= 2
# summary of solver processes directly reported to runsolver:
# pid: 18692
# total CPU time (s): 2.1027
# total CPU user time (s): 2.0867
# total CPU system time (s): 0.015999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030165 second user time and 0.058605 second system time
The end
Begin job on node143 at 2019-09-13 04:06:54
IDJOB=4390075
IDBENCH=131326
IDSOLVER=2830
FILE ID=node143/4390075-1568340454
RUNJOBID= node143-1568335547-17181
PBS_JOBID= 21701163
Free space on /tmp= 58852 MiB
SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-C-17.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390075-1568340454/watcher-4390075-1568340454 -o /tmp/evaluation-result-4390075-1568340454/solver-4390075-1568340454 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568335547-17181 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390075-1568340454.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 968946b1363fb973e37d639f4c64f12a
RANDOM SEED=1906826554
node143.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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.73
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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.73
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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.73
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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.73
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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: 24009536 kB
MemAvailable: 31462872 kB
Buffers: 168688 kB
Cached: 7572376 kB
SwapCached: 8 kB
Active: 2441180 kB
Inactive: 5646416 kB
Active(anon): 301648 kB
Inactive(anon): 144520 kB
Active(file): 2139532 kB
Inactive(file): 5501896 kB
Unevictable: 107780 kB
Mlocked: 107780 kB
SwapTotal: 67108860 kB
SwapFree: 67108848 kB
Dirty: 3124 kB
Writeback: 0 kB
AnonPages: 333516 kB
Mapped: 49744 kB
Shmem: 90756 kB
Slab: 269520 kB
SReclaimable: 240368 kB
SUnreclaim: 29152 kB
KernelStack: 3808 kB
PageTables: 6012 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 829576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 132480 kB
DirectMap2M: 33413120 kB
Free space on /tmp at the end= 58848 MiB
End job on node143 at 2019-09-13 04:06:56