Trace number 4391675

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NACRE 1.0.5SAT 8.4 8.4086

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-SF/
Subisomorphism-C-17.xml
MD5SUM968946b1363fb973e37d639f4c64f12a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.09985
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints2799
Number of domains1
Minimum domain size1000
Maximum domain size1000
Distribution of domain sizes[{"size":1000,"count":900}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":2},{"degree":4,"count":34},{"degree":5,"count":156},{"degree":6,"count":337},{"degree":8,"count":204},{"degree":9,"count":121},{"degree":10,"count":46}]
Minimum constraint arity1
Maximum constraint arity900
Distribution of constraint arities[{"arity":1,"count":371},{"arity":2,"count":2427},{"arity":900,"count":1}]
Number of extensional constraints2798
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2798},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data

5.49/5.58	c NACRE 1.0.5
8.29/8.32	c
8.29/8.32	c # time = 8.31
8.29/8.32	c # Dec = 44
8.29/8.32	c # Propagate Calls = 4381206
8.29/8.32	c # assignAt Calls = 44
8.29/8.32	c # removeAt Calls = 1161954
8.29/8.32	c # Run = 1
8.29/8.32	c # Conflicts = 43
8.29/8.32	c # Memory used = 1423.46 Mb
8.29/8.32	s SATISFIABLE
8.29/8.32	c
8.29/8.32	v <instantiation>
8.29/8.32	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>
8.29/8.32	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>
8.29/8.32	v </instantiation>

Verifier Data

OK	

Watcher Data

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 (9919 MiB free)
  memory of node 1: 16384 MiB (9645 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391675-1568311805/watcher-4391675-1568311805 -o /tmp/evaluation-result-4391675-1568311805/solver-4391675-1568311805 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568305966-12716 --watchdog 2560 nacre_mini_release HOME/instance-4391675-1568311805.xml -complete -l100 -cm 

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=14431, runsolver pid=14428
Current StackSize limit: 8192 KiB


[startup+0.100575 s]*
/proc/loadavg: 2.68 2.19 2.10 3/200 14432
/proc/meminfo: memFree=19964192/32770624 swapFree=66959212/67108860
[pid=14431] ppid=14428 vsize=115424 memory=81036 CPUtime=0.09 cores=1,3,5,7
/proc/14431/stat : 14431 (nacre_mini_rele) R 14428 14431 11693 0 -1 4202496 15271 0 0 0 7 2 0 0 20 0 1 0 407120633 118194176 20259 33554432000 4194304 4935366 140729918337632 140729918333752 140295349246949 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23093248 140729918342139 140729918342245 140729918342245 140729918345154 0
/proc/14431/statm: 28856 20259 512 181 0 22473 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115424 KiB
Current children cumulated memory: 81036 KiB

[startup+0.209841 s]*
/proc/loadavg: 2.68 2.19 2.10 3/200 14432
/proc/meminfo: memFree=19874780/32770624 swapFree=66959212/67108860
[pid=14431] ppid=14428 vsize=195896 memory=165048 CPUtime=0.21 cores=1,3,5,7
/proc/14431/stat : 14431 (nacre_mini_rele) R 14428 14431 11693 0 -1 4202496 34760 0 0 0 16 5 0 0 20 0 1 0 407120633 200597504 41262 33554432000 4194304 4935366 140729918337632 140729918333752 140295349246949 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23093248 140729918342139 140729918342245 140729918342245 140729918345154 0
/proc/14431/statm: 48974 41262 574 181 0 42591 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 195896 KiB
Current children cumulated memory: 165048 KiB

[startup+0.309631 s]*
/proc/loadavg: 2.68 2.19 2.10 3/200 14432
/proc/meminfo: memFree=19843532/32770624 swapFree=66959212/67108860
[pid=14431] ppid=14428 vsize=226456 memory=195672 CPUtime=0.31 cores=1,3,5,7
/proc/14431/stat : 14431 (nacre_mini_rele) R 14428 14431 11693 0 -1 4202496 42425 0 0 0 25 6 0 0 20 0 1 0 407120633 231890944 48918 33554432000 4194304 4935366 140729918337632 140729918333752 140295349239479 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23093248 140729918342139 140729918342245 140729918342245 140729918345154 0
/proc/14431/statm: 56614 48918 574 181 0 50231 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 226456 KiB
Current children cumulated memory: 195672 KiB

[startup+0.700375 s]
/proc/loadavg: 2.68 2.19 2.10 3/200 14432
/proc/meminfo: memFree=19783648/32770624 swapFree=66959212/67108860
[pid=14431] ppid=14428 vsize=337856 memory=307080 CPUtime=0.69 cores=1,3,5,7
/proc/14431/stat : 14431 (nacre_mini_rele) R 14428 14431 11693 0 -1 4202496 70275 0 0 0 60 9 0 0 20 0 1 0 407120633 345964544 76770 33554432000 4194304 4935366 140729918337632 140729918332264 140295355421024 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23093248 140729918342139 140729918342245 140729918342245 140729918345154 0
/proc/14431/statm: 84464 76770 574 181 0 78081 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 337856 KiB
Current children cumulated memory: 307080 KiB

[startup+1.50041 s]
/proc/loadavg: 2.68 2.19 2.10 3/200 14432
/proc/meminfo: memFree=19649356/32770624 swapFree=66959212/67108860
[pid=14431] ppid=14428 vsize=542604 memory=511944 CPUtime=1.49 cores=1,3,5,7
/proc/14431/stat : 14431 (nacre_mini_rele) R 14428 14431 11693 0 -1 4202496 121462 0 0 0 134 15 0 0 20 0 1 0 407120633 555626496 127986 33554432000 4194304 4935366 140729918337632 140729918332264 140295349239570 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23093248 140729918342139 140729918342245 140729918342245 140729918345154 0
/proc/14431/statm: 135651 127986 574 181 0 129268 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 542604 KiB
Current children cumulated memory: 511944 KiB

[startup+3.10942 s]
/proc/loadavg: 2.63 2.19 2.10 3/199 14432
/proc/meminfo: memFree=19174112/32770624 swapFree=66959212/67108860
[pid=14431] ppid=14428 vsize=915992 memory=885132 CPUtime=3.1 cores=1,3,5,7
/proc/14431/stat : 14431 (nacre_mini_rele) R 14428 14431 11693 0 -1 4202496 223919 0 0 0 283 27 0 0 20 0 1 0 407120633 937975808 221283 33554432000 4194304 4935366 140729918337632 140729918332264 140295349246949 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23093248 140729918342139 140729918342245 140729918342245 140729918345154 0
/proc/14431/statm: 228998 221283 574 181 0 222615 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 915992 KiB
Current children cumulated memory: 885132 KiB

[startup+6.30039 s]
/proc/loadavg: 2.63 2.19 2.10 3/199 14432
/proc/meminfo: memFree=18610904/32770624 swapFree=66959212/67108860
[pid=14431] ppid=14428 vsize=1453940 memory=1423412 CPUtime=6.29 cores=1,3,5,7
/proc/14431/stat : 14431 (nacre_mini_rele) R 14428 14431 11693 0 -1 4202496 506369 0 0 0 580 49 0 0 20 0 1 0 407120633 1488834560 355853 33554432000 4194304 4935366 140729918337632 140729918336152 140295350110288 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23093248 140729918342139 140729918342245 140729918342245 140729918345154 0
/proc/14431/statm: 363485 355853 593 181 0 357102 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1453940 KiB
Current children cumulated memory: 1423412 KiB

[startup+8.40856 s]
# the end of solver process 14431 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.78 s, system=0.619999 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40042 s]
/proc/loadavg: 2.63 2.19 2.10 3/199 14432
/proc/meminfo: memFree=18610904/32770624 swapFree=66959212/67108860
[pid=14431] ppid=14428 vsize=1453940 memory=1423412 CPUtime=6.38 cores=1,3,5,7
/proc/14431/stat : 14431 (nacre_mini_rele) R 14428 14431 11693 0 -1 4202496 522224 0 0 0 588 50 0 0 20 0 1 0 407120633 1488834560 355853 33554432000 4194304 4935366 140729918337632 140729918336152 4333192 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23093248 140729918342139 140729918342245 140729918342245 140729918345154 0
/proc/14431/statm: 363485 355853 593 181 0 357102 0
Current children cumulated CPU time: 6.38 s
Current children cumulated vsize: 1453940 KiB
Current children cumulated memory: 1423412 KiB

[startup+7.20036 s]
/proc/loadavg: 2.63 2.19 2.10 3/199 14432
/proc/meminfo: memFree=18610340/32770624 swapFree=66959212/67108860
[pid=14431] ppid=14428 vsize=1453940 memory=1423432 CPUtime=7.19 cores=1,3,5,7
/proc/14431/stat : 14431 (nacre_mini_rele) R 14428 14431 11693 0 -1 4202496 555499 0 0 0 667 52 0 0 20 0 1 0 407120633 1488834560 355858 33554432000 4194304 4935366 140729918337632 140729918336152 4390143 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23093248 140729918342139 140729918342245 140729918342245 140729918345154 0
/proc/14431/statm: 363485 355858 598 181 0 357102 0
Current children cumulated CPU time: 7.19 s
Current children cumulated vsize: 1453940 KiB
Current children cumulated memory: 1423432 KiB

[startup+8.00039 s]*
/proc/loadavg: 2.58 2.19 2.10 3/199 14432
/proc/meminfo: memFree=18610340/32770624 swapFree=66959212/67108860
[pid=14431] ppid=14428 vsize=1453940 memory=1423464 CPUtime=7.99 cores=1,3,5,7
/proc/14431/stat : 14431 (nacre_mini_rele) R 14428 14431 11693 0 -1 4202496 589169 0 0 0 746 53 0 0 20 0 1 0 407120633 1488834560 355866 33554432000 4194304 4935366 140729918337632 140729918335880 4451756 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23093248 140729918342139 140729918342245 140729918342245 140729918345154 0
/proc/14431/statm: 363485 355866 606 181 0 357102 0
Current children cumulated CPU time: 7.99 s
Current children cumulated vsize: 1453940 KiB
Current children cumulated memory: 1423464 KiB

[startup+8.20038 s]
/proc/loadavg: 2.58 2.19 2.10 3/199 14432
/proc/meminfo: memFree=18610340/32770624 swapFree=66959212/67108860
[pid=14431] ppid=14428 vsize=1453940 memory=1423464 CPUtime=8.18 cores=1,3,5,7
/proc/14431/stat : 14431 (nacre_mini_rele) R 14428 14431 11693 0 -1 4202496 590292 0 0 0 765 53 0 0 20 0 1 0 407120633 1488834560 355866 33554432000 4194304 4935366 140729918337632 140729918335880 4420625 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23093248 140729918342139 140729918342245 140729918342245 140729918345154 0
/proc/14431/statm: 363485 355866 606 181 0 357102 0
Current children cumulated CPU time: 8.18 s
Current children cumulated vsize: 1453940 KiB
Current children cumulated memory: 1423464 KiB

[startup+8.30039 s]
/proc/loadavg: 2.58 2.19 2.10 3/199 14432
/proc/meminfo: memFree=18610340/32770624 swapFree=66959212/67108860
[pid=14431] ppid=14428 vsize=1453940 memory=1423464 CPUtime=8.29 cores=1,3,5,7
/proc/14431/stat : 14431 (nacre_mini_rele) R 14428 14431 11693 0 -1 4202496 590738 0 0 0 775 54 0 0 20 0 1 0 407120633 1488834560 355866 33554432000 4194304 4935366 140729918337632 140729918335880 4390769 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23093248 140729918342139 140729918342245 140729918342245 140729918345154 0
/proc/14431/statm: 363485 355866 606 181 0 357102 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 1453940 KiB
Current children cumulated memory: 1423464 KiB

Child status: 10
Real time (s): 8.4086
CPU time (s): 8.4
CPU user time (s): 7.78
CPU system time (s): 0.619999
CPU usage (%): 99.8977
Max. virtual memory (cumulated for all children) (KiB): 1453940
Max. memory (cumulated for all children) (KiB): 1423464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.78
system time used= 0.619999
maximum resident set size= 1423524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591516
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= 9
involuntary context switches= 8


# summary of solver processes directly reported to runsolver:
#   pid: 14431
#   total CPU time (s): 8.4
#   total CPU user time (s): 7.78
#   total CPU system time (s): 0.619999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062071 second user time and 0.098214 second system time

The end

Launcher Data

Begin job on node124 at 2019-09-12 20:09:25
IDJOB=4391675
IDBENCH=131326
IDSOLVER=2835
FILE ID=node124/4391675-1568311805
RUNJOBID= node124-1568305966-12716
PBS_JOBID= 21701105
Free space on /tmp= 55364 MiB

SOLVER NAME= NACRE 1.0.5
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-C-17.xml
COMMAND LINE= nacre_mini_release BENCHNAME -complete -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391675-1568311805/watcher-4391675-1568311805 -o /tmp/evaluation-result-4391675-1568311805/solver-4391675-1568311805 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568305966-12716 --watchdog 2560  nacre_mini_release HOME/instance-4391675-1568311805.xml -complete -l100 -cm

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 968946b1363fb973e37d639f4c64f12a
RANDOM SEED=187525723

node124.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.47
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.47
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.47
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.47
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:        20034600 kB
MemAvailable:   31816032 kB
Buffers:          150136 kB
Cached:         11794848 kB
SwapCached:        45868 kB
Active:           913440 kB
Inactive:       11083280 kB
Active(anon):       6760 kB
Inactive(anon):    85952 kB
Active(file):     906680 kB
Inactive(file): 10997328 kB
Unevictable:      108764 kB
Mlocked:          108764 kB
SwapTotal:      67108860 kB
SwapFree:       66959212 kB
Dirty:               984 kB
Writeback:             0 kB
AnonPages:         46028 kB
Mapped:            43624 kB
Shmem:             32744 kB
Slab:             334236 kB
SReclaimable:     305884 kB
SUnreclaim:        28352 kB
KernelStack:        3824 kB
PageTables:         5804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     528260 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:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55364 MiB
End job on node124 at 2019-09-12 20:09:33