Trace number 4391469

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.5-HybridSAT 8.52055 8.52112

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-SF/
Subisomorphism-C-07.xml
MD5SUMa5a4a9d4a920730d3bacf5ea7eebaa8b
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 benchmark1.62322
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints2873
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":27},{"degree":5,"count":145},{"degree":6,"count":321},{"degree":8,"count":219},{"degree":9,"count":138},{"degree":10,"count":48}]
Minimum constraint arity1
Maximum constraint arity900
Distribution of constraint arities[{"arity":1,"count":405},{"arity":2,"count":2467},{"arity":900,"count":1}]
Number of extensional constraints2872
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2872},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data

5.69/5.74	c NACRE 1.0.5
8.39/8.44	c
8.39/8.44	c # time = 8.43
8.39/8.44	c # Dec = 36
8.39/8.44	c # Propagate Calls = 2079082
8.39/8.44	c # assignAt Calls = 36
8.39/8.44	c # removeAt Calls = 1461333
8.39/8.44	c # Run = 1
8.39/8.44	c # Conflicts = 35
8.39/8.44	c # Memory used = 1503.01 Mb
8.39/8.44	s SATISFIABLE
8.39/8.44	c
8.39/8.44	v <instantiation>
8.39/8.44	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.39/8.44	v     <values> 556 621 983 747 728 995 633 428 581 631 850 765 831 652 235 507 979 630 981 232 501 424 932 810 153 822 605 535 306 911 958 343 833 794 738 454 497 635 276 137 439 145 275 264 492 449 181 700 475 984 913 725 393 706 727 811 915 267 438 311 429 205 570 557 403 918 44 855 98 681 632 597 709 178 319 26 657 396 29 985 672 444 839 592 342 118 596 120 174 223 374 782 254 165 898 965 216 293 224 183 864 447 896 487 826 361 30 593 337 692 806 440 830 195 491 509 960 96 678 132 222 607 741 886 388 241 446 567 803 234 986 520 413 869 930 351 550 302 171 488 273 843 651 94 758 903 722 255 638 972 226 935 467 176 259 159 533 100 696 812 664 851 305 694 976 600 751 613 5 704 753 3 496 256 476 34 841 74 548 859 944 340 844 80 872 849 508 407 321 65 887 966 637 366 40 603 214 586 993 55 31 394 936 653 67 236 517 779 149 225 182 300 278 627 775 595 564 821 135 804 890 36 1 292 410 769 795 101 502 45 371 122 807 666 451 455 20 707 141 242 842 957 506 338 78 987 563 304 874 991 847 774 739 796 164 359 346 316 974 893 336 484 771 210 127 643 238 423 552 395 258 48 322 528 646 853 998 752 565 928 912 908 577 193 472 435 955 594 52 194 684 103 498 466 38 616 72 701 744 131 370 425 369 623 814 325 568 15 357 229 620 24 797 453 493 762 963 66 456 390 938 940 749 669 883 375 162 105 718 160 690 906 954 76 77 384 281 539 716 16 307 42 285 35 71 598 562 714 835 363 479 683 243 636 856 79 939 624 992 511 279 106 852 170 688 271 310 299 654 86 485 134 426 523 57 464 558 532 582 107 942 629 22 262 360 510 910 645 786 780 188 191 948 59 743 950 901 798 12 914 837 286 658 968 90 282 382 483 781 536 43 168 867 401 249 541 956 354 75 14 173 392 125 23 521 441 606 989 838 757 649 398 579 662 432 800 647 108 542 324 661 318 461 868 85 412 691 272 731 504 56 685 201 561 978 784 148 46 244 503 239 792 268 763 177 400 789 823 880 537 573 221 175 785 84 875 280 82 421 546 703 756 199 291 251 584 179 54 317 527 922 679 777 129 608 209 283 764 81 878 158 675 941 538 442 909 931 923 113 379 754 172 544 203 151 895 668 9 611 89 474 671 91 612 590 157 578 198 362 219 344 69 298 6 323 386 470 980 791 411 937 648 659 891 154 190 820 614 139 73 575 104 459 320 602 110 702 889 489 163 37 102 372 269 858 801 341 929 11 949 945 295 252 994 746 808 969 184 233 961 560 975 916 25 626 416 667 894 783 591 296 996 640 230 529 907 364 925 863 51 422 971 525 857 88 997 270 788 63 724 946 829 460 713 926 62 947 365 734 892 448 437 677 433 481 391 33 615 776 166 287 549 899 686 147 778 815 143 261 331 404 208 332 348 406 409 288 458 399 473 227 49 689 39 144 294 515 204 900 427 553 83 326 933 114 402 431 580 334 513 121 970 19 697 687 169 817 816 897 828 418 237 206 197 813 217 109 469 330 551 790 588 846 505 240 904 383 180 60 212 353 871 202 680 920 64 150 156 350 250 927 500 905 253 526 514 967 742 387 128 587 335 877 116 547 192 656 260 111 793 589 585 32 136 802 699 819 710 845 840 231 870 47 881 434 284 380 490 339 274 767 314 799 676 119 443 644 543 569 452 599 516 356 13 358 99 228 377 8 566 58 729 130 522 711 988 115 617 381 405 531 486 576 414 720 787 4 266 919 445 854 583 759 634 555 468 247 327 619 866 873 766 87 721 21 836 303 70 698 705 917 708 112 943 246 639 805 450 999 622 480 328 768 248 921 126 92 457 824 185 211 641 373 642 862 518 0 376 663 951 745 559 347 463 572 973 465 367 732 123 124 990 610 959 735 977 385 28 848 313 17 530 755 499 655 245 861 93 301 462 773 477 142 408 329 355 601 297 682 540 263 715 740 574 68 18 818 628 733 736 693 420 827 512 152 161 832 809 277 618 </values>
8.39/8.44	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 (9797 MiB free)
  memory of node 1: 16384 MiB (7859 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391469-1568310198/watcher-4391469-1568310198 -o /tmp/evaluation-result-4391469-1568310198/solver-4391469-1568310198 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20541 --watchdog 2560 nacre_mini_release HOME/instance-4391469-1568310198.xml -ca -l100 -cm 

running on 4 cores: 0,2,4,6

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


[startup+0.100214 s]*
/proc/loadavg: 1.99 2.01 1.96 3/199 21946
/proc/meminfo: memFree=18008216/32770624 swapFree=66999144/67108860
[pid=21945] ppid=21942 vsize=115156 memory=83008 CPUtime=0.09 cores=0,2,4,6
/proc/21945/stat : 21945 (nacre_mini_rele) R 21942 21945 20510 0 -1 4202496 15261 0 0 0 7 2 0 0 20 0 1 0 406958219 117919744 20752 33554432000 4194304 4935366 140731188269104 140731188266104 140101655463840 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22011904 140731188278273 140731188278373 140731188278373 140731188281282 0
/proc/21945/statm: 28789 20752 512 181 0 22406 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115156 KiB
Current children cumulated memory: 83008 KiB

[startup+0.209878 s]*
/proc/loadavg: 1.99 2.01 1.96 3/199 21946
/proc/meminfo: memFree=17918864/32770624 swapFree=66999144/67108860
[pid=21945] ppid=21942 vsize=195608 memory=167016 CPUtime=0.21 cores=0,2,4,6
/proc/21945/stat : 21945 (nacre_mini_rele) R 21942 21945 20510 0 -1 4202496 34737 0 0 0 16 5 0 0 20 0 1 0 406958219 200302592 41754 33554432000 4194304 4935366 140731188269104 140731188266104 140101655415781 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22011904 140731188278273 140731188278373 140731188278373 140731188281282 0
/proc/21945/statm: 48902 41754 574 181 0 42519 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 195608 KiB
Current children cumulated memory: 167016 KiB

[startup+0.309805 s]*
/proc/loadavg: 1.99 2.01 1.96 3/199 21946
/proc/meminfo: memFree=17888360/32770624 swapFree=66999144/67108860
[pid=21945] ppid=21942 vsize=226644 memory=197904 CPUtime=0.31 cores=0,2,4,6
/proc/21945/stat : 21945 (nacre_mini_rele) R 21942 21945 20510 0 -1 4202496 42469 0 0 0 25 6 0 0 20 0 1 0 406958219 232083456 49476 33554432000 4194304 4935366 140731188269104 140731188266104 140101655415781 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22011904 140731188278273 140731188278373 140731188278373 140731188281282 0
/proc/21945/statm: 56661 49476 574 181 0 50278 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 226644 KiB
Current children cumulated memory: 197904 KiB

[startup+0.70043 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 21946
/proc/meminfo: memFree=17827724/32770624 swapFree=66999144/67108860
[pid=21945] ppid=21942 vsize=338272 memory=309576 CPUtime=0.69 cores=0,2,4,6
/proc/21945/stat : 21945 (nacre_mini_rele) R 21942 21945 20510 0 -1 4202496 70360 0 0 0 60 9 0 0 20 0 1 0 406958219 346390528 77394 33554432000 4194304 4935366 140731188269104 140731188263736 4321844 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22011904 140731188278273 140731188278373 140731188278373 140731188281282 0
/proc/21945/statm: 84568 77394 574 181 0 78185 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 338272 KiB
Current children cumulated memory: 309576 KiB

[startup+1.50043 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 21946
/proc/meminfo: memFree=17692656/32770624 swapFree=66999144/67108860
[pid=21945] ppid=21942 vsize=543800 memory=515232 CPUtime=1.49 cores=0,2,4,6
/proc/21945/stat : 21945 (nacre_mini_rele) R 21942 21945 20510 0 -1 4202496 121772 0 0 0 134 15 0 0 20 0 1 0 406958219 556851200 128808 33554432000 4194304 4935366 140731188269104 140731188263736 4321828 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22011904 140731188278273 140731188278373 140731188278373 140731188281282 0
/proc/21945/statm: 135983 128808 574 181 0 129600 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 543800 KiB
Current children cumulated memory: 515232 KiB

[startup+3.10964 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 21946
/proc/meminfo: memFree=17215380/32770624 swapFree=66999144/67108860
[pid=21945] ppid=21942 vsize=918604 memory=890096 CPUtime=3.1 cores=0,2,4,6
/proc/21945/stat : 21945 (nacre_mini_rele) R 21942 21945 20510 0 -1 4202496 224597 0 0 0 281 29 0 0 20 0 1 0 406958219 940650496 222524 33554432000 4194304 4935366 140731188269104 140731188263736 140101655415781 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22011904 140731188278273 140731188278373 140731188278373 140731188281282 0
/proc/21945/statm: 229651 222524 574 181 0 223268 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 918604 KiB
Current children cumulated memory: 890096 KiB

[startup+6.30042 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 21946
/proc/meminfo: memFree=16576444/32770624 swapFree=66999144/67108860
[pid=21945] ppid=21942 vsize=1531364 memory=1502960 CPUtime=6.29 cores=0,2,4,6
/proc/21945/stat : 21945 (nacre_mini_rele) R 21942 21945 20510 0 -1 4202496 485520 0 0 0 579 50 0 0 20 0 1 0 406958219 1568116736 375740 33554432000 4194304 4935366 140731188269104 140731188267624 140101656279120 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22011904 140731188278273 140731188278373 140731188278373 140731188281282 0
/proc/21945/statm: 382841 375740 593 181 0 376458 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1531364 KiB
Current children cumulated memory: 1502960 KiB

[startup+8.52107 s]
# the end of solver process 21945 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.88551 s, system=0.63504 s

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

[startup+6.40045 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 21946
/proc/meminfo: memFree=16576444/32770624 swapFree=66999144/67108860
[pid=21945] ppid=21942 vsize=1531364 memory=1502960 CPUtime=6.39 cores=0,2,4,6
/proc/21945/stat : 21945 (nacre_mini_rele) R 21942 21945 20510 0 -1 4202496 501867 0 0 0 588 51 0 0 20 0 1 0 406958219 1568116736 375740 33554432000 4194304 4935366 140731188269104 140731188267624 4333136 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22011904 140731188278273 140731188278373 140731188278373 140731188281282 0
/proc/21945/statm: 382841 375740 593 181 0 376458 0
Current children cumulated CPU time: 6.39 s
Current children cumulated vsize: 1531364 KiB
Current children cumulated memory: 1502960 KiB

[startup+7.20041 s]
/proc/loadavg: 1.99 2.01 1.96 3/200 21948
/proc/meminfo: memFree=16575308/32770624 swapFree=66999144/67108860
[pid=21945] ppid=21942 vsize=1531364 memory=1502988 CPUtime=7.19 cores=0,2,4,6
/proc/21945/stat : 21945 (nacre_mini_rele) R 21942 21945 20510 0 -1 4202496 542737 0 0 0 667 52 0 0 20 0 1 0 406958219 1568116736 375747 33554432000 4194304 4935366 140731188269104 140731188267624 4390143 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22011904 140731188278273 140731188278373 140731188278373 140731188281282 0
/proc/21945/statm: 382841 375747 600 181 0 376458 0
Current children cumulated CPU time: 7.19 s
Current children cumulated vsize: 1531364 KiB
Current children cumulated memory: 1502988 KiB

[startup+8.00041 s]*
/proc/loadavg: 1.99 2.01 1.96 3/200 21948
/proc/meminfo: memFree=16574936/32770624 swapFree=66999144/67108860
[pid=21945] ppid=21942 vsize=1531364 memory=1503012 CPUtime=8 cores=0,2,4,6
/proc/21945/stat : 21945 (nacre_mini_rele) R 21942 21945 20510 0 -1 4202496 593256 0 0 0 745 55 0 0 20 0 1 0 406958219 1568116736 375753 33554432000 4194304 4935366 140731188269104 140731188267624 4451018 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22011904 140731188278273 140731188278373 140731188278373 140731188281282 0
/proc/21945/statm: 382841 375753 606 181 0 376458 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 1531364 KiB
Current children cumulated memory: 1503012 KiB

[startup+8.40041 s]
/proc/loadavg: 1.99 2.01 1.96 3/200 21948
/proc/meminfo: memFree=16574936/32770624 swapFree=66999144/67108860
[pid=21945] ppid=21942 vsize=1531364 memory=1503012 CPUtime=8.39 cores=0,2,4,6
/proc/21945/stat : 21945 (nacre_mini_rele) R 21942 21945 20510 0 -1 4202496 594540 0 0 0 784 55 0 0 20 0 1 0 406958219 1568116736 375753 33554432000 4194304 4935366 140731188269104 140731188267624 4450160 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 22011904 140731188278273 140731188278373 140731188278373 140731188281282 0
/proc/21945/statm: 382841 375753 606 181 0 376458 0
Current children cumulated CPU time: 8.39 s
Current children cumulated vsize: 1531364 KiB
Current children cumulated memory: 1503012 KiB

[startup+8.5004 s]*
/proc/loadavg: 1.99 2.01 1.96 3/200 21948
/proc/meminfo: memFree=17669868/32770624 swapFree=66999144/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10
Real time (s): 8.52112
CPU time (s): 8.52055
CPU user time (s): 7.88551
CPU system time (s): 0.63504
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 1531364
Max. memory (cumulated for all children) (KiB): 1503012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.88551
system time used= 0.63504
maximum resident set size= 1503096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 595836
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= 8
involuntary context switches= 4


# summary of solver processes directly reported to runsolver:
#   pid: 21945
#   total CPU time (s): 8.52055
#   total CPU user time (s): 7.88551
#   total CPU system time (s): 0.63504

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05813 second user time and 0.104089 second system time

The end

Launcher Data

Begin job on node140 at 2019-09-12 19:42:38
IDJOB=4391469
IDBENCH=131314
IDSOLVER=2834
FILE ID=node140/4391469-1568310198
RUNJOBID= node140-1568307582-20541
PBS_JOBID= 21701122
Free space on /tmp= 56868 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-C-07.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391469-1568310198/watcher-4391469-1568310198 -o /tmp/evaluation-result-4391469-1568310198/solver-4391469-1568310198 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20541 --watchdog 2560  nacre_mini_release HOME/instance-4391469-1568310198.xml -ca -l100 -cm

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

MD5SUM BENCH= a5a4a9d4a920730d3bacf5ea7eebaa8b
RANDOM SEED=1471118718

node140.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.43
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.43
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.43
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.43
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:        18081212 kB
MemAvailable:   27938600 kB
Buffers:          145256 kB
Cached:          9887344 kB
SwapCached:         2876 kB
Active:          5472052 kB
Inactive:        8484112 kB
Active(anon):    3920120 kB
Inactive(anon):    43924 kB
Active(file):    1551932 kB
Inactive(file):  8440188 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999144 kB
Dirty:               892 kB
Writeback:             0 kB
AnonPages:       4026516 kB
Mapped:            43748 kB
Shmem:             32120 kB
Slab:             323512 kB
SReclaimable:     293728 kB
SUnreclaim:        29784 kB
KernelStack:        3552 kB
PageTables:        13032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4468136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56868 MiB
End job on node140 at 2019-09-12 19:42:46