Trace number 4391526

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 10.8556 10.8618

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.28/5.38	c NACRE 1.0.5
10.69/10.77	c
10.69/10.77	c # time = 10.76
10.69/10.77	c # Dec = 116
10.69/10.77	c # Propagate Calls = 7278681
10.69/10.77	c # assignAt Calls = 118
10.69/10.77	c # removeAt Calls = 987824
10.69/10.77	c # Run = 1
10.69/10.77	c # Conflicts = 4
10.69/10.77	c # Memory used = 1609.64 Mb
10.69/10.77	s SATISFIABLE
10.69/10.77	c
10.69/10.77	v <instantiation>
10.69/10.77	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.77	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.77	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 (9771 MiB free)
  memory of node 1: 16384 MiB (11691 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391526-1568310113/watcher-4391526-1568310113 -o /tmp/evaluation-result-4391526-1568310113/solver-4391526-1568310113 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20542 --watchdog 2560 nacre_mini_release HOME/instance-4391526-1568310113.xml -ca -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=21495, runsolver pid=21492
Current StackSize limit: 8192 KiB


[startup+0.100682 s]*
/proc/loadavg: 1.97 2.00 1.95 3/199 21496
/proc/meminfo: memFree=21905844/32770624 swapFree=66999144/67108860
[pid=21495] ppid=21492 vsize=113072 memory=80608 CPUtime=0.09 cores=1,3,5,7
/proc/21495/stat : 21495 (nacre_mini_rele) R 21492 21495 20510 0 -1 4202496 14171 0 0 0 7 2 0 0 20 0 1 0 406949778 115785728 20152 33554432000 4194304 4935366 140734500194864 140734500191096 139863999736805 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18681856 140734500201473 140734500201573 140734500201573 140734500204482 0
/proc/21495/statm: 28301 20152 512 181 0 21918 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113072 KiB
Current children cumulated memory: 80608 KiB

[startup+0.209924 s]*
/proc/loadavg: 1.97 2.00 1.95 3/199 21496
/proc/meminfo: memFree=21825576/32770624 swapFree=66999144/67108860
[pid=21495] ppid=21492 vsize=185500 memory=158020 CPUtime=0.2 cores=1,3,5,7
/proc/21495/stat : 21495 (nacre_mini_rele) R 21492 21495 20510 0 -1 4202496 31995 0 0 0 16 4 0 0 20 0 1 0 406949778 189952000 39505 33554432000 4194304 4935366 140734500194864 140734500191096 4320930 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18681856 140734500201473 140734500201573 140734500201573 140734500204482 0
/proc/21495/statm: 46375 39505 574 181 0 39992 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 185500 KiB
Current children cumulated memory: 158020 KiB

[startup+0.309788 s]*
/proc/loadavg: 1.97 2.00 1.95 3/199 21496
/proc/meminfo: memFree=21790980/32770624 swapFree=66999144/67108860
[pid=21495] ppid=21492 vsize=220276 memory=191548 CPUtime=0.31 cores=1,3,5,7
/proc/21495/stat : 21495 (nacre_mini_rele) R 21492 21495 20510 0 -1 4202496 40356 0 0 0 26 5 0 0 20 0 1 0 406949778 225562624 47887 33554432000 4194304 4935366 140734500194864 140734500191096 139863999746938 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18681856 140734500201473 140734500201573 140734500201573 140734500204482 0
/proc/21495/statm: 55069 47887 574 181 0 48686 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 220276 KiB
Current children cumulated memory: 191548 KiB

[startup+0.700358 s]
/proc/loadavg: 1.97 2.00 1.95 3/200 21498
/proc/meminfo: memFree=21725660/32770624 swapFree=66999144/67108860
[pid=21495] ppid=21492 vsize=345596 memory=312460 CPUtime=0.68 cores=1,3,5,7
/proc/21495/stat : 21495 (nacre_mini_rele) R 21492 21495 20510 0 -1 4202496 70558 0 0 0 60 8 0 0 20 0 1 0 406949778 353890304 78049 33554432000 4194304 4935366 140734500194864 140734500189496 139863999736805 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18681856 140734500201473 140734500201573 140734500201573 140734500204482 0
/proc/21495/statm: 86399 78049 574 181 0 80016 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 345596 KiB
Current children cumulated memory: 312460 KiB

[startup+1.50036 s]
/proc/loadavg: 1.89 1.98 1.95 3/200 21498
/proc/meminfo: memFree=21579340/32770624 swapFree=66999144/67108860
[pid=21495] ppid=21492 vsize=580852 memory=538972 CPUtime=1.49 cores=1,3,5,7
/proc/21495/stat : 21495 (nacre_mini_rele) R 21492 21495 20510 0 -1 4202496 127263 0 0 0 134 15 0 0 20 0 1 0 406949778 594792448 134743 33554432000 4194304 4935366 140734500194864 140734500189496 4271851 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18681856 140734500201473 140734500201573 140734500201573 140734500204482 0
/proc/21495/statm: 145213 134743 574 181 0 138830 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 580852 KiB
Current children cumulated memory: 538972 KiB

[startup+3.10969 s]
/proc/loadavg: 1.89 1.98 1.95 3/200 21498
/proc/meminfo: memFree=21036164/32770624 swapFree=66999144/67108860
[pid=21495] ppid=21492 vsize=1027160 memory=969436 CPUtime=3.09 cores=1,3,5,7
/proc/21495/stat : 21495 (nacre_mini_rele) R 21492 21495 20510 0 -1 4202496 242859 0 0 0 280 29 0 0 20 0 1 0 406949778 1051811840 242359 33554432000 4194304 4935366 140734500194864 140734500189496 139863999736805 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18681856 140734500201473 140734500201573 140734500201573 140734500204482 0
/proc/21495/statm: 256823 242359 574 181 0 250440 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1027160 KiB
Current children cumulated memory: 969436 KiB

[startup+6.30036 s]
/proc/loadavg: 1.90 1.99 1.95 3/200 21498
/proc/meminfo: memFree=20365480/32770624 swapFree=66999144/67108860
[pid=21495] ppid=21492 vsize=1688596 memory=1609560 CPUtime=6.28 cores=1,3,5,7
/proc/21495/stat : 21495 (nacre_mini_rele) R 21492 21495 20510 0 -1 4202496 567679 0 0 0 574 54 0 0 20 0 1 0 406949778 1729122304 402390 33554432000 4194304 4935366 140734500194864 140734500193384 139864000600144 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18681856 140734500201473 140734500201573 140734500201573 140734500204482 0
/proc/21495/statm: 422149 402390 593 181 0 415766 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1688596 KiB
Current children cumulated memory: 1609560 KiB

[startup+10.8617 s]
# the end of solver process 21495 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.1687 s, system=0.686914 s

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

[startup+6.4004 s]
/proc/loadavg: 1.90 1.99 1.95 3/200 21498
/proc/meminfo: memFree=20365480/32770624 swapFree=66999144/67108860
[pid=21495] ppid=21492 vsize=1688596 memory=1609560 CPUtime=6.38 cores=1,3,5,7
/proc/21495/stat : 21495 (nacre_mini_rele) R 21492 21495 20510 0 -1 4202496 572369 0 0 0 584 54 0 0 20 0 1 0 406949778 1729122304 402390 33554432000 4194304 4935366 140734500194864 140734500193384 139863999735900 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18681856 140734500201473 140734500201573 140734500201573 140734500204482 0
/proc/21495/statm: 422149 402390 593 181 0 415766 0
Current children cumulated CPU time: 6.38 s
Current children cumulated vsize: 1688596 KiB
Current children cumulated memory: 1609560 KiB

[startup+8.00035 s]*
/proc/loadavg: 1.90 1.99 1.95 3/200 21498
/proc/meminfo: memFree=20365760/32770624 swapFree=66999144/67108860
[pid=21495] ppid=21492 vsize=1688596 memory=1609644 CPUtime=8 cores=1,3,5,7
/proc/21495/stat : 21495 (nacre_mini_rele) R 21492 21495 20510 0 -1 4202496 690444 0 0 0 740 60 0 0 20 0 1 0 406949778 1729122304 402411 33554432000 4194304 4935366 140734500194864 140734500193384 4420768 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18681856 140734500201473 140734500201573 140734500201573 140734500204482 0
/proc/21495/statm: 422149 402411 614 181 0 415766 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 1688596 KiB
Current children cumulated memory: 1609644 KiB

[startup+9.60036 s]
/proc/loadavg: 1.90 1.99 1.95 3/199 21498
/proc/meminfo: memFree=20365636/32770624 swapFree=66999144/67108860
[pid=21495] ppid=21492 vsize=1688596 memory=1609644 CPUtime=9.59 cores=1,3,5,7
/proc/21495/stat : 21495 (nacre_mini_rele) R 21492 21495 20510 0 -1 4202496 691035 0 0 0 899 60 0 0 20 0 1 0 406949778 1729122304 402411 33554432000 4194304 4935366 140734500194864 140734500193384 4420783 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18681856 140734500201473 140734500201573 140734500201573 140734500204482 0
/proc/21495/statm: 422149 402411 614 181 0 415766 0
Current children cumulated CPU time: 9.59 s
Current children cumulated vsize: 1688596 KiB
Current children cumulated memory: 1609644 KiB

[startup+10.4003 s]
/proc/loadavg: 1.90 1.99 1.95 3/199 21498
/proc/meminfo: memFree=20365388/32770624 swapFree=66999144/67108860
[pid=21495] ppid=21492 vsize=1688596 memory=1609644 CPUtime=10.39 cores=1,3,5,7
/proc/21495/stat : 21495 (nacre_mini_rele) R 21492 21495 20510 0 -1 4202496 692047 0 0 0 979 60 0 0 20 0 1 0 406949778 1729122304 402411 33554432000 4194304 4935366 140734500194864 140734500193384 4420783 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18681856 140734500201473 140734500201573 140734500201573 140734500204482 0
/proc/21495/statm: 422149 402411 614 181 0 415766 0
Current children cumulated CPU time: 10.39 s
Current children cumulated vsize: 1688596 KiB
Current children cumulated memory: 1609644 KiB

[startup+10.8003 s]*
/proc/loadavg: 1.90 1.99 1.95 3/199 21498
/proc/meminfo: memFree=20803592/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): 10.8618
CPU time (s): 10.8556
CPU user time (s): 10.1687
CPU system time (s): 0.686914
CPU usage (%): 99.9433
Max. virtual memory (cumulated for all children) (KiB): 1688596
Max. memory (cumulated for all children) (KiB): 1609644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1687
system time used= 0.686914
maximum resident set size= 1609704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 692122
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= 15


# summary of solver processes directly reported to runsolver:
#   pid: 21495
#   total CPU time (s): 10.8556
#   total CPU user time (s): 10.1687
#   total CPU system time (s): 0.686914

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062816 second user time and 0.122327 second system time

The end

Launcher Data

Begin job on node140 at 2019-09-12 19:41:13
IDJOB=4391526
IDBENCH=130774
IDSOLVER=2834
FILE ID=node140/4391526-1568310113
RUNJOBID= node140-1568307582-20542
PBS_JOBID= 21701122
Free space on /tmp= 56868 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-m4D/Subisomorphism-si6-m4D-m1296-05.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391526-1568310113/watcher-4391526-1568310113 -o /tmp/evaluation-result-4391526-1568310113/solver-4391526-1568310113 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20542 --watchdog 2560  nacre_mini_release HOME/instance-4391526-1568310113.xml -ca -l100 -cm

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

MD5SUM BENCH= ae5a12998e749ab69535554811a41b7d
RANDOM SEED=1378071483

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:        21978196 kB
MemAvailable:   31835248 kB
Buffers:          145072 kB
Cached:          9886968 kB
SwapCached:         2876 kB
Active:          1581400 kB
Inactive:        8483968 kB
Active(anon):      29620 kB
Inactive(anon):    43924 kB
Active(file):    1551780 kB
Inactive(file):  8440044 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999144 kB
Dirty:              1184 kB
Writeback:             4 kB
AnonPages:        142180 kB
Mapped:            43776 kB
Shmem:             32120 kB
Slab:             323132 kB
SReclaimable:     293688 kB
SUnreclaim:        29444 kB
KernelStack:        3472 kB
PageTables:         5140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     553856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 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:41:24