Trace number 4391726

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 10.879 10.8798

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si6-m4D/
Subisomorphism-si6-m4D-m1296-05.xml
MD5SUMae5a12998e749ab69535554811a41b7d
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.21008
Satisfiable
(Un)Satisfiability was proved
Number of variables777
Number of constraints2709
Number of domains1
Minimum domain size1296
Maximum domain size1296
Distribution of domain sizes[{"size":1296,"count":777}]
Minimum variable degree1
Maximum variable degree10
Distribution of variable degrees[{"degree":1,"count":59},{"degree":2,"count":16},{"degree":3,"count":36},{"degree":4,"count":16},{"degree":6,"count":52},{"degree":7,"count":120},{"degree":8,"count":222},{"degree":9,"count":208},{"degree":10,"count":48}]
Minimum constraint arity1
Maximum constraint arity777
Distribution of constraint arities[{"arity":1,"count":650},{"arity":2,"count":2058},{"arity":777,"count":1}]
Number of extensional constraints2708
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2708},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data

5.29/5.39	c NACRE 1.0.5
10.69/10.79	c
10.69/10.79	c # time = 10.78
10.69/10.79	c # Dec = 116
10.69/10.79	c # Propagate Calls = 7278685
10.69/10.79	c # assignAt Calls = 116
10.69/10.79	c # removeAt Calls = 987826
10.69/10.79	c # Run = 1
10.69/10.79	c # Conflicts = 4
10.69/10.79	c # Memory used = 1564.99 Mb
10.69/10.79	s SATISFIABLE
10.69/10.79	c
10.69/10.79	v <instantiation>
10.69/10.79	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] </list>
10.69/10.79	v     <values> 887 1183 937 1162 785 522 564 1124 814 818 1213 288 433 1185 749 924 576 532 578 766 580 1060 621 1243 414 7 884 1101 865 1058 1164 1223 1161 423 854 826 880 972 1272 102 612 900 37 646 305 142 266 1000 1113 835 282 961 991 834 987 34 530 1142 745 376 1055 101 1143 18 273 601 6 1158 473 53 386 1123 736 87 933 596 1251 108 1239 703 1137 1053 1291 830 846 986 107 377 687 262 19 548 545 114 95 950 1155 1023 1186 201 85 1019 1029 1082 1035 361 570 1178 438 898 403 172 338 517 348 1048 581 1163 878 344 1070 1132 1112 1169 801 568 452 934 889 445 739 220 841 733 1099 947 981 1148 385 932 1062 920 959 1024 890 1191 54 958 455 1054 763 585 237 678 859 870 810 778 0 1207 12 783 1220 254 743 512 1079 849 788 722 22 908 700 120 1135 894 470 516 1100 883 46 531 994 342 50 194 820 3 851 1134 1228 1289 359 682 1244 228 983 182 131 1270 1149 636 230 253 1233 1044 857 258 1111 615 618 48 1256 742 210 1133 717 861 550 184 309 167 41 821 251 1103 286 597 1037 109 307 1212 431 553 1121 411 13 437 242 943 1021 800 474 1226 1176 1286 523 658 290 873 1229 899 1179 907 698 1153 1221 816 1118 232 1009 925 561 772 761 1106 549 1096 488 825 1039 1110 94 125 1016 81 793 1211 496 1290 225 744 966 406 566 369 537 671 536 507 557 98 378 1199 1107 481 995 83 501 1002 227 964 1080 819 970 974 1018 280 617 759 724 598 73 68 1067 466 554 740 871 28 461 526 669 619 499 1279 1119 291 458 1063 99 1227 805 822 177 487 420 1181 330 279 364 973 864 971 600 430 1196 205 239 422 697 341 284 301 1238 795 16 327 4 439 1175 714 1293 661 960 1031 69 164 427 893 1034 1127 144 558 1092 875 657 765 935 802 226 579 60 651 84 25 799 967 940 413 645 1038 197 823 468 1173 1141 211 704 274 603 992 852 1166 605 1071 1190 494 319 754 963 695 575 314 187 261 922 235 440 217 780 726 193 478 789 1156 1235 209 11 653 809 672 610 44 320 1172 190 650 498 70 1157 984 212 941 904 611 659 315 948 1109 289 1083 45 1236 179 61 1087 881 640 159 1250 373 405 238 909 691 660 362 1028 67 513 1187 1252 620 1261 655 71 903 762 157 756 614 1130 1282 1224 100 1040 774 719 382 1088 1090 510 147 447 1042 679 1208 560 817 204 75 1171 1007 104 267 78 583 833 52 394 750 163 649 334 707 551 432 387 1032 489 57 1294 55 1077 14 166 862 185 911 275 589 626 151 877 641 103 1073 1136 957 797 1253 26 781 367 40 191 518 497 606 928 287 216 710 150 1146 116 1008 913 768 112 628 132 1114 867 684 709 500 92 1273 1022 582 914 51 552 918 868 189 1105 798 1160 244 786 1276 32 946 985 1129 129 316 1255 680 716 249 398 1241 643 1064 450 1003 1203 760 170 1013 475 529 905 1104 791 472 547 206 493 1017 408 484 792 436 27 265 1201 1280 990 869 17 533 317 352 192 683 33 571 215 837 965 379 999 149 1084 1004 304 569 425 982 1108 448 1202 784 152 148 146 145 143 141 140 139 1147 975 355 122 138 137 136 135 134 666 591 595 1278 39 896 929 616 133 130 128 456 127 126 1015 124 123 388 121 119 308 117 115 113 111 110 441 106 295 988 391 609 10 599 384 806 72 105 97 96 91 8 294 181 180 491 74 90 492 442 5 281 539 1242 718 89 479 88 93 86 639 451 234 80 77 76 165 82 79 66 268 328 65 188 240 64 63 62 59 58 168 56 260 252 49 47 43 584 42 311 118 696 1 38 36 35 269 31 30 652 29 24 23 623 21 20 339 15 2 725 9 477 </values>
10.69/10.79	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 (15086 MiB free)
  memory of node 1: 16384 MiB (15332 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391726-1568311662/watcher-4391726-1568311662 -o /tmp/evaluation-result-4391726-1568311662/solver-4391726-1568311662 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568305658-21707 --watchdog 2560 nacre_mini_release HOME/instance-4391726-1568311662.xml -complete -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
Current StackSize limit: 8192 KiB

solver pid=23134, runsolver pid=23131

[startup+0.100164 s]*
/proc/loadavg: 1.87 1.99 2.03 3/200 23135
/proc/meminfo: memFree=31077580/32770624 swapFree=66933312/67108860
[pid=23134] ppid=23131 vsize=114948 memory=81988 CPUtime=0.1 cores=0,2,4,6
/proc/23134/stat : 23134 (nacre_mini_rele) R 23131 23134 19999 0 -1 4202496 15563 0 0 0 8 2 0 0 20 0 1 0 407437680 117706752 20497 33554432000 4194304 4935366 140732636709056 140732636706056 140506259298208 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 21712896 140732636718075 140732636718181 140732636718181 140732636721090 0
/proc/23134/statm: 28737 20497 512 181 0 22354 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114948 KiB
Current children cumulated memory: 81988 KiB

[startup+0.210001 s]*
/proc/loadavg: 1.87 1.99 2.03 3/200 23135
/proc/meminfo: memFree=30993308/32770624 swapFree=66933312/67108860
[pid=23134] ppid=23131 vsize=186340 memory=161376 CPUtime=0.2 cores=0,2,4,6
/proc/23134/stat : 23134 (nacre_mini_rele) R 23131 23134 19999 0 -1 4202496 32822 0 0 0 15 5 0 0 20 0 1 0 407437680 190812160 40344 33554432000 4194304 4935366 140732636709056 140732636706056 4271828 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 21712896 140732636718075 140732636718181 140732636718181 140732636721090 0
/proc/23134/statm: 46585 40344 574 181 0 40202 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 186340 KiB
Current children cumulated memory: 161376 KiB

[startup+0.30977 s]*
/proc/loadavg: 1.87 1.99 2.03 3/200 23135
/proc/meminfo: memFree=30959704/32770624 swapFree=66933312/67108860
[pid=23134] ppid=23131 vsize=220984 memory=194640 CPUtime=0.31 cores=0,2,4,6
/proc/23134/stat : 23134 (nacre_mini_rele) R 23131 23134 19999 0 -1 4202496 41172 0 0 0 24 7 0 0 20 0 1 0 407437680 226287616 48660 33554432000 4194304 4935366 140732636709056 140732636706056 140506259247677 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 21712896 140732636718075 140732636718181 140732636718181 140732636721090 0
/proc/23134/statm: 55246 48660 574 181 0 48863 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 220984 KiB
Current children cumulated memory: 194640 KiB

[startup+0.700369 s]
/proc/loadavg: 1.87 1.99 2.03 3/200 23135
/proc/meminfo: memFree=30895100/32770624 swapFree=66933312/67108860
[pid=23134] ppid=23131 vsize=345416 memory=314760 CPUtime=0.69 cores=0,2,4,6
/proc/23134/stat : 23134 (nacre_mini_rele) R 23131 23134 19999 0 -1 4202496 71162 0 0 0 59 10 0 0 20 0 1 0 407437680 353705984 78690 33554432000 4194304 4935366 140732636709056 140732636706056 140506259240962 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 21712896 140732636718075 140732636718181 140732636718181 140732636721090 0
/proc/23134/statm: 86354 78690 574 181 0 79971 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 345416 KiB
Current children cumulated memory: 314760 KiB

[startup+1.50038 s]
/proc/loadavg: 1.87 1.99 2.03 3/200 23135
/proc/meminfo: memFree=30750280/32770624 swapFree=66933312/67108860
[pid=23134] ppid=23131 vsize=579440 memory=540216 CPUtime=1.49 cores=0,2,4,6
/proc/23134/stat : 23134 (nacre_mini_rele) R 23131 23134 19999 0 -1 4202496 127567 0 0 0 132 17 0 0 20 0 1 0 407437680 593346560 135054 33554432000 4194304 4935366 140732636709056 140732636703688 140506259240958 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 21712896 140732636718075 140732636718181 140732636718181 140732636721090 0
/proc/23134/statm: 144860 135054 574 181 0 138477 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 579440 KiB
Current children cumulated memory: 540216 KiB

[startup+3.10959 s]
/proc/loadavg: 1.88 1.99 2.03 3/199 23135
/proc/meminfo: memFree=30209632/32770624 swapFree=66933312/67108860
[pid=23134] ppid=23131 vsize=1024152 memory=969120 CPUtime=3.1 cores=0,2,4,6
/proc/23134/stat : 23134 (nacre_mini_rele) R 23131 23134 19999 0 -1 4202496 242763 0 0 0 280 30 0 0 20 0 1 0 407437680 1048731648 242280 33554432000 4194304 4935366 140732636709056 140732636703688 140506259260304 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 21712896 140732636718075 140732636718181 140732636718181 140732636721090 0
/proc/23134/statm: 256038 242280 574 181 0 249655 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1024152 KiB
Current children cumulated memory: 969120 KiB

[startup+6.30035 s]
/proc/loadavg: 1.88 1.99 2.03 3/199 23135
/proc/meminfo: memFree=29583132/32770624 swapFree=66933312/67108860
[pid=23134] ppid=23131 vsize=1641392 memory=1564936 CPUtime=6.29 cores=0,2,4,6
/proc/23134/stat : 23134 (nacre_mini_rele) R 23131 23134 19999 0 -1 4202496 563088 0 0 0 573 56 0 0 20 0 1 0 407437680 1680785408 391234 33554432000 4194304 4935366 140732636709056 140732636707576 140506260113488 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 21712896 140732636718075 140732636718181 140732636718181 140732636721090 0
/proc/23134/statm: 410348 391234 593 181 0 403965 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1641392 KiB
Current children cumulated memory: 1564936 KiB

[startup+10.8797 s]
# the end of solver process 23134 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.1771 s, system=0.701897 s

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

[startup+6.40041 s]
/proc/loadavg: 1.88 1.99 2.03 3/199 23135
/proc/meminfo: memFree=29583132/32770624 swapFree=66933312/67108860
[pid=23134] ppid=23131 vsize=1641392 memory=1564936 CPUtime=6.39 cores=0,2,4,6
/proc/23134/stat : 23134 (nacre_mini_rele) R 23131 23134 19999 0 -1 4202496 571325 0 0 0 583 56 0 0 20 0 1 0 407437680 1680785408 391234 33554432000 4194304 4935366 140732636709056 140732636707576 140506259298141 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 21712896 140732636718075 140732636718181 140732636718181 140732636721090 0
/proc/23134/statm: 410348 391234 593 181 0 403965 0
Current children cumulated CPU time: 6.39 s
Current children cumulated vsize: 1641392 KiB
Current children cumulated memory: 1564936 KiB

[startup+8.00033 s]*
/proc/loadavg: 1.89 1.99 2.03 3/199 23135
/proc/meminfo: memFree=29583244/32770624 swapFree=66933312/67108860
[pid=23134] ppid=23131 vsize=1641392 memory=1564988 CPUtime=8 cores=0,2,4,6
/proc/23134/stat : 23134 (nacre_mini_rele) R 23131 23134 19999 0 -1 4202496 690349 0 0 0 739 61 0 0 20 0 1 0 407437680 1680785408 391247 33554432000 4194304 4935366 140732636709056 140732636707304 4420768 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 21712896 140732636718075 140732636718181 140732636718181 140732636721090 0
/proc/23134/statm: 410348 391247 606 181 0 403965 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 1641392 KiB
Current children cumulated memory: 1564988 KiB

[startup+9.60034 s]
/proc/loadavg: 1.89 1.99 2.03 3/199 23135
/proc/meminfo: memFree=29583368/32770624 swapFree=66933312/67108860
[pid=23134] ppid=23131 vsize=1641392 memory=1564988 CPUtime=9.59 cores=0,2,4,6
/proc/23134/stat : 23134 (nacre_mini_rele) R 23131 23134 19999 0 -1 4202496 690977 0 0 0 898 61 0 0 20 0 1 0 407437680 1680785408 391247 33554432000 4194304 4935366 140732636709056 140732636707304 4420768 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 21712896 140732636718075 140732636718181 140732636718181 140732636721090 0
/proc/23134/statm: 410348 391247 606 181 0 403965 0
Current children cumulated CPU time: 9.59 s
Current children cumulated vsize: 1641392 KiB
Current children cumulated memory: 1564988 KiB

[startup+10.4003 s]
/proc/loadavg: 1.89 1.99 2.03 3/199 23135
/proc/meminfo: memFree=29583368/32770624 swapFree=66933312/67108860
[pid=23134] ppid=23131 vsize=1641392 memory=1564988 CPUtime=10.39 cores=0,2,4,6
/proc/23134/stat : 23134 (nacre_mini_rele) R 23131 23134 19999 0 -1 4202496 691809 0 0 0 978 61 0 0 20 0 1 0 407437680 1680785408 391247 33554432000 4194304 4935366 140732636709056 140732636707304 4420768 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 21712896 140732636718075 140732636718181 140732636718181 140732636721090 0
/proc/23134/statm: 410348 391247 606 181 0 403965 0
Current children cumulated CPU time: 10.39 s
Current children cumulated vsize: 1641392 KiB
Current children cumulated memory: 1564988 KiB

[startup+10.8003 s]*
/proc/loadavg: 1.89 1.99 2.03 3/199 23135
/proc/meminfo: memFree=29709928/32770624 swapFree=66933312/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): 10.8798
CPU time (s): 10.879
CPU user time (s): 10.1771
CPU system time (s): 0.701897
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 1641392
Max. memory (cumulated for all children) (KiB): 1564988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1771
system time used= 0.701897
maximum resident set size= 1565048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 691873
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= 6
involuntary context switches= 10


# summary of solver processes directly reported to runsolver:
#   pid: 23134
#   total CPU time (s): 10.879
#   total CPU user time (s): 10.1771
#   total CPU system time (s): 0.701897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058939 second user time and 0.125246 second system time

The end

Launcher Data

Begin job on node151 at 2019-09-12 20:07:03
IDJOB=4391726
IDBENCH=130774
IDSOLVER=2835
FILE ID=node151/4391726-1568311662
RUNJOBID= node151-1568305658-21707
PBS_JOBID= 21701104
Free space on /tmp= 56968 MiB

SOLVER NAME= NACRE 1.0.5
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-m4D/Subisomorphism-si6-m4D-m1296-05.xml
COMMAND LINE= nacre_mini_release BENCHNAME -complete -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391726-1568311662/watcher-4391726-1568311662 -o /tmp/evaluation-result-4391726-1568311662/solver-4391726-1568311662 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568305658-21707 --watchdog 2560  nacre_mini_release HOME/instance-4391726-1568311662.xml -complete -l100 -cm

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

MD5SUM BENCH= ae5a12998e749ab69535554811a41b7d
RANDOM SEED=1836383548

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31149712 kB
MemAvailable:   31668724 kB
Buffers:          121332 kB
Cached:           688476 kB
SwapCached:        72804 kB
Active:           613188 kB
Inactive:         458276 kB
Active(anon):     196228 kB
Inactive(anon):    96364 kB
Active(file):     416960 kB
Inactive(file):   361912 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66933312 kB
Dirty:               952 kB
Writeback:             0 kB
AnonPages:        300548 kB
Mapped:            34876 kB
Shmem:             22576 kB
Slab:             140536 kB
SReclaimable:     111952 kB
SUnreclaim:        28584 kB
KernelStack:        3536 kB
PageTables:         5936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     722412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56968 MiB
End job on node151 at 2019-09-12 20:07:14