Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: Mistral-2.0 2017-06-28 | SAT | 7.68143 | 7.6875 |
Name | Driver/Driver-m1-s1/ driverlogw-09.xml |
MD5SUM | 39f2309c430e073944706d11745a3453 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.60685998 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 650 |
Number of constraints | 17447 |
Number of domains | 9 |
Minimum domain size | 2 |
Maximum domain size | 12 |
Distribution of domain sizes | [{"size":2,"count":211},{"size":3,"count":100},{"size":4,"count":71},{"size":5,"count":71},{"size":6,"count":29},{"size":7,"count":93},{"size":8,"count":41},{"size":10,"count":25},{"size":12,"count":9}] |
Minimum variable degree | 1 |
Maximum variable degree | 138 |
Distribution of variable degrees | [{"degree":1,"count":6},{"degree":2,"count":6},{"degree":3,"count":10},{"degree":4,"count":6},{"degree":5,"count":4},{"degree":6,"count":19},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":3},{"degree":11,"count":7},{"degree":12,"count":5},{"degree":13,"count":3},{"degree":14,"count":7},{"degree":15,"count":9},{"degree":16,"count":6},{"degree":17,"count":5},{"degree":18,"count":8},{"degree":19,"count":2},{"degree":20,"count":3},{"degree":22,"count":8},{"degree":23,"count":1},{"degree":24,"count":6},{"degree":25,"count":4},{"degree":26,"count":11},{"degree":27,"count":4},"...",{"degree":104,"count":4}, {"degree":105,"count":2}, {"degree":106,"count":4}, {"degree":107,"count":3}, {"degree":108,"count":4}, {"degree":109,"count":2}, {"degree":111,"count":1}, {"degree":112,"count":3}, {"degree":113,"count":1}, {"degree":114,"count":1}, {"degree":115,"count":2}, {"degree":116,"count":2}, {"degree":117,"count":4}, {"degree":118,"count":4}, {"degree":119,"count":5}, {"degree":121,"count":2}, {"degree":122,"count":2}, {"degree":123,"count":3}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":128,"count":2}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":133,"count":1}, {"degree":138,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":17447}] |
Number of extensional constraints | 17447 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":17447}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c Mistral-2017-06-28 7.49/7.56 s SATISFIABLE 7.49/7.56 v <instantiation type="solution"> 7.49/7.56 v <list> x0[0] x0[1] x0[2] x0[3] x0[4] x0[5] x0[6] x0[7] x0[8] x0[9] x0[10] x0[11] x0[12] x0[13] x0[14] x0[15] x0[16] x0[17] x0[18] x0[19] x0[20] x0[21] x0[22] x0[23] x0[24] x0[25] x0[26] x0[27] x0[28] x0[29] x0[30] x0[31] x0[32] x0[33] x0[34] x0[35] x0[36] x0[37] x0[38] x0[39] x0[40] x0[41] x0[42] x0[43] x0[44] x0[45] x0[46] x0[47] x0[48] x0[49] x0[50] x0[51] x0[52] x0[53] x0[54] x0[55] x0[56] x0[57] x0[58] x0[59] x0[60] x0[61] x0[62] x0[63] x0[64] x0[65] x0[66] x0[67] x0[68] x0[69] x0[70] x1[0] x1[1] x1[2] x1[3] x1[4] x1[5] x1[6] x1[7] x1[8] x1[9] x1[10] x1[11] x1[12] x1[13] x1[14] x1[15] x1[16] x1[17] x1[18] x1[19] x1[20] x1[21] x1[22] x1[23] x1[24] x1[25] x1[26] x1[27] x1[28] x1[29] x1[30] x1[31] x1[32] x1[33] x1[34] x1[35] x1[36] x1[37] x1[38] x1[39] x1[40] x1[41] x1[42] x1[43] x1[44] x1[45] x1[46] x1[47] x1[48] x1[49] x1[50] x1[51] x1[52] x1[53] x1[54] x1[55] x1[56] x1[57] x1[58] x1[59] x1[60] x1[61] x1[62] x1[63] x1[64] x1[65] x1[66] x1[67] x1[68] x1[69] x1[70] x1[71] x1[72] x1[73] x1[74] x1[75] x1[76] x1[77] x1[78] x1[79] x1[80] x1[81] x1[82] x1[83] x1[84] x1[85] x1[86] x1[87] x1[88] x1[89] x1[90] x1[91] x1[92] x2[0] x2[1] x2[2] x2[3] x2[4] x2[5] x2[6] x2[7] x2[8] x2[9] x2[10] x2[11] x2[12] x2[13] x2[14] x2[15] x2[16] x2[17] x2[18] x2[19] x2[20] x2[21] x2[22] x2[23] x2[24] x2[25] x2[26] x2[27] x2[28] x3[0] x3[1] x3[2] x3[3] x3[4] x3[5] x3[6] x3[7] x3[8] x3[9] x3[10] x3[11] x3[12] x3[13] x3[14] x3[15] x3[16] x3[17] x3[18] x3[19] x3[20] x3[21] x3[22] x3[23] x3[24] x3[25] x3[26] x3[27] x3[28] x3[29] x3[30] x3[31] x3[32] x3[33] x3[34] x3[35] x3[36] x3[37] x3[38] x3[39] x3[40] x3[41] x3[42] x3[43] x3[44] x3[45] x3[46] x3[47] x3[48] x3[49] x3[50] x3[51] x3[52] x3[53] x3[54] x3[55] x3[56] x3[57] x3[58] x3[59] x3[60] x3[61] x3[62] x3[63] x3[64] x3[65] x3[66] x3[67] x3[68] x3[69] x3[70] x4[0] x4[1] x4[2] x4[3] x4[4] x4[5] x4[6] x4[7] x4[8] x4[9] x4[10] x4[11] x4[12] x4[13] x4[14] x4[15] x4[16] x4[17] x4[18] x4[19] x4[20] x4[21] x4[22] x4[23] x4[24] x4[25] x4[26] x4[27] x4[28] x4[29] x4[30] x4[31] x4[32] x4[33] x4[34] x4[35] x4[36] x4[37] x4[38] x4[39] x4[40] x5[0] x5[1] x5[2] x5[3] x5[4] x5[5] x5[6] x5[7] x5[8] x5[9] x5[10] x5[11] x5[12] x5[13] x5[14] x5[15] x5[16] x5[17] x5[18] x5[19] x5[20] x5[21] x5[22] x5[23] x5[24] x6[0] x6[1] x6[2] x6[3] x6[4] x6[5] x6[6] x6[7] x6[8] x6[9] x6[10] x6[11] x6[12] x6[13] x6[14] x6[15] x6[16] x6[17] x6[18] x6[19] x6[20] x6[21] x6[22] x6[23] x6[24] x6[25] x6[26] x6[27] x6[28] x6[29] x6[30] x6[31] x6[32] x6[33] x6[34] x6[35] x6[36] x6[37] x6[38] x6[39] x6[40] x6[41] x6[42] x6[43] x6[44] x6[45] x6[46] x6[47] x6[48] x6[49] x6[50] x6[51] x6[52] x6[53] x6[54] x6[55] x6[56] x6[57] x6[58] x6[59] x6[60] x6[61] x6[62] x6[63] x6[64] x6[65] x6[66] x6[67] x6[68] x6[69] x6[70] x6[71] x6[72] x6[73] x6[74] x6[75] x6[76] x6[77] x6[78] x6[79] x6[80] x6[81] x6[82] x6[83] x6[84] x6[85] x6[86] x6[87] x6[88] x6[89] x6[90] x6[91] x6[92] x6[93] x6[94] x6[95] x6[96] x6[97] x6[98] x6[99] x7[0] x7[1] x7[2] x7[3] x7[4] x7[5] x7[6] x7[7] x7[8] x8[0] x8[1] x8[2] x8[3] x8[4] x8[5] x8[6] x8[7] x8[8] x8[9] x8[10] x8[11] x8[12] x8[13] x8[14] x8[15] x8[16] x8[17] x8[18] x8[19] x8[20] x8[21] x8[22] x8[23] x8[24] x8[25] x8[26] x8[27] x8[28] x8[29] x8[30] x8[31] x8[32] x8[33] x8[34] x8[35] x8[36] x8[37] x8[38] x8[39] x8[40] x8[41] x8[42] x8[43] x8[44] x8[45] x8[46] x8[47] x8[48] x8[49] x8[50] x8[51] x8[52] x8[53] x8[54] x8[55] x8[56] x8[57] x8[58] x8[59] x8[60] x8[61] x8[62] x8[63] x8[64] x8[65] x8[66] x8[67] x8[68] x8[69] x8[70] x8[71] x8[72] x8[73] x8[74] x8[75] x8[76] x8[77] x8[78] x8[79] x8[80] x8[81] x8[82] x8[83] x8[84] x8[85] x8[86] x8[87] x8[88] x8[89] x8[90] x8[91] x8[92] x8[93] x8[94] x8[95] x8[96] x8[97] x8[98] x8[99] x8[100] x8[101] x8[102] x8[103] x8[104] x8[105] x8[106] x8[107] x8[108] x8[109] x8[110] x8[111] x8[112] x8[113] x8[114] x8[115] x8[116] x8[117] x8[118] x8[119] x8[120] x8[121] x8[122] x8[123] x8[124] x8[125] x8[126] x8[127] x8[128] x8[129] x8[130] x8[131] x8[132] x8[133] x8[134] x8[135] x8[136] x8[137] x8[138] x8[139] x8[140] x8[141] x8[142] x8[143] x8[144] x8[145] x8[146] x8[147] x8[148] x8[149] x8[150] x8[151] x8[152] x8[153] x8[154] x8[155] x8[156] x8[157] x8[158] x8[159] x8[160] x8[161] x8[162] x8[163] x8[164] x8[165] x8[166] x8[167] x8[168] x8[169] x8[170] x8[171] x8[172] x8[173] x8[174] x8[175] x8[176] x8[177] x8[178] x8[179] x8[180] x8[181] x8[182] x8[183] x8[184] x8[185] x8[186] x8[187] x8[188] x8[189] x8[190] x8[191] x8[192] x8[193] x8[194] x8[195] x8[196] x8[197] x8[198] x8[199] x8[200] x8[201] x8[202] x8[203] x8[204] x8[205] x8[206] x8[207] x8[208] x8[209] x8[210] </list> 7.49/7.59 v <values> 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 5 0 1 6 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 8 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 </values> 7.49/7.59 v </instantiation>
OK
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241554-1500628698/watcher-4241554-1500628698 -o /tmp/evaluation-result-4241554-1500628698/solver-4241554-1500628698 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500623778-4880 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1029253027 HOME/instance-4241554-1500628698.xml pid=5978 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 1.99 2/189 5981 /proc/meminfo: memFree=31603364/32770624 swapFree=6452/416728 [pid=5981] ppid=5978 vsize=29192 CPUtime=0 cores=0,2,4,6 /proc/5981/stat : 5981 (MistralXCSP) R 5978 5981 4849 0 -1 4202496 1062 0 0 0 0 0 0 0 20 0 1 0 16311690 29892608 888 33554432000 4194304 7402444 140731873632000 140731873629048 139841983421413 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26406912 140731873637544 140731873637694 140731873637694 140731873640393 0 /proc/5981/statm: 7298 888 619 784 0 312 0 [startup+0.100216 s] /proc/loadavg: 2.00 2.01 1.99 2/189 5981 /proc/meminfo: memFree=31603364/32770624 swapFree=6452/416728 [pid=5981] ppid=5978 vsize=147628 CPUtime=0.09 cores=0,2,4,6 /proc/5981/stat : 5981 (MistralXCSP) R 5978 5981 4849 0 -1 4202496 30704 0 0 0 5 4 0 0 20 0 1 0 16311690 151171072 30522 33554432000 4194304 7402444 140731873632000 140731873623512 139841983421413 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26406912 140731873637544 140731873637694 140731873637694 140731873640393 0 /proc/5981/statm: 36907 30522 659 784 0 29921 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 147628 [startup+0.200412 s] /proc/loadavg: 2.00 2.01 1.99 2/189 5981 /proc/meminfo: memFree=31603364/32770624 swapFree=6452/416728 [pid=5981] ppid=5978 vsize=302752 CPUtime=0.19 cores=0,2,4,6 /proc/5981/stat : 5981 (MistralXCSP) R 5978 5981 4849 0 -1 4202496 69528 0 0 0 11 8 0 0 20 0 1 0 16311690 310018048 69283 33554432000 4194304 7402444 140731873632000 140731873623512 139841983469472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26406912 140731873637544 140731873637694 140731873637694 140731873640393 0 /proc/5981/statm: 75727 69283 659 784 0 68741 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 302752 [startup+0.300396 s] /proc/loadavg: 2.00 2.01 1.99 2/189 5981 /proc/meminfo: memFree=31603364/32770624 swapFree=6452/416728 [pid=5981] ppid=5978 vsize=452468 CPUtime=0.29 cores=0,2,4,6 /proc/5981/stat : 5981 (MistralXCSP) R 5978 5981 4849 0 -1 4202496 106972 0 0 0 16 13 0 0 20 0 1 0 16311690 463327232 106705 33554432000 4194304 7402444 140731873632000 140731873623512 139841983469472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26406912 140731873637544 140731873637694 140731873637694 140731873640393 0 /proc/5981/statm: 113156 106771 659 784 0 106170 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 452468 [startup+0.70035 s] /proc/loadavg: 2.00 2.01 1.99 2/189 5981 /proc/meminfo: memFree=31603364/32770624 swapFree=6452/416728 [pid=5981] ppid=5978 vsize=959704 CPUtime=0.69 cores=0,2,4,6 /proc/5981/stat : 5981 (MistralXCSP) R 5978 5981 4849 0 -1 4202496 233939 0 0 0 42 27 0 0 20 0 1 0 16311690 982736896 233560 33554432000 4194304 7402444 140731873632000 140731873623512 139841983469472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26406912 140731873637544 140731873637694 140731873637694 140731873640393 0 /proc/5981/statm: 239975 233560 659 784 0 232989 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 959704 [startup+1.50035 s] /proc/loadavg: 2.00 2.01 1.99 3/190 5982 /proc/meminfo: memFree=30246376/32770624 swapFree=6452/416604 [pid=5981] ppid=5978 vsize=1667956 CPUtime=1.49 cores=0,2,4,6 /proc/5981/stat : 5981 (MistralXCSP) R 5978 5981 4849 0 -1 4202496 411017 0 0 0 101 48 0 0 20 0 1 0 16311690 1707986944 410638 33554432000 4194304 7402444 140731873632000 140731873626536 4238699 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26406912 140731873637544 140731873637694 140731873637694 140731873640393 0 /proc/5981/statm: 416989 410638 686 784 0 410003 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1667956 [startup+3.10036 s] /proc/loadavg: 2.00 2.01 1.99 3/190 5982 /proc/meminfo: memFree=29961176/32770624 swapFree=6452/416604 [pid=5981] ppid=5978 vsize=1667956 CPUtime=3.09 cores=0,2,4,6 /proc/5981/stat : 5981 (MistralXCSP) R 5978 5981 4849 0 -1 4202496 421381 0 0 0 260 49 0 0 20 0 1 0 16311690 1707986944 410655 33554432000 4194304 7402444 140731873632000 140731873626536 4240678 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26406912 140731873637544 140731873637694 140731873637694 140731873640393 0 /proc/5981/statm: 416989 410655 696 784 0 410003 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1667956 [startup+6.30035 s] /proc/loadavg: 2.00 2.01 1.99 3/190 5982 /proc/meminfo: memFree=29960436/32770624 swapFree=6452/416612 [pid=5981] ppid=5978 vsize=1667956 CPUtime=6.29 cores=0,2,4,6 /proc/5981/stat : 5981 (MistralXCSP) R 5978 5981 4849 0 -1 4202496 441632 0 0 0 579 50 0 0 20 0 1 0 16311690 1707986944 410655 33554432000 4194304 7402444 140731873632000 140731873626536 5747570 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26406912 140731873637544 140731873637694 140731873637694 140731873640393 0 /proc/5981/statm: 416989 410655 696 784 0 410003 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1667956 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5981 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40042 s] /proc/loadavg: 2.00 2.01 1.99 3/190 5982 /proc/meminfo: memFree=29960436/32770624 swapFree=6452/416612 [pid=5981] ppid=5978 vsize=1667956 CPUtime=6.39 cores=0,2,4,6 /proc/5981/stat : 5981 (MistralXCSP) R 5978 5981 4849 0 -1 4202496 442379 0 0 0 589 50 0 0 20 0 1 0 16311690 1707986944 410655 33554432000 4194304 7402444 140731873632000 140731873626536 4477092 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26406912 140731873637544 140731873637694 140731873637694 140731873640393 0 /proc/5981/statm: 416989 410655 696 784 0 410003 0 Current children cumulated CPU time (s) 6.39 Current children cumulated vsize (KiB) 1667956 [startup+7.20036 s] /proc/loadavg: 2.00 2.01 1.99 3/190 5982 /proc/meminfo: memFree=29960492/32770624 swapFree=6452/416612 [pid=5981] ppid=5978 vsize=1667956 CPUtime=7.19 cores=0,2,4,6 /proc/5981/stat : 5981 (MistralXCSP) R 5978 5981 4849 0 -1 4202496 443074 0 0 0 669 50 0 0 20 0 1 0 16311690 1707986944 410655 33554432000 4194304 7402444 140731873632000 140731873626536 4249078 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26406912 140731873637544 140731873637694 140731873637694 140731873640393 0 /proc/5981/statm: 416989 410655 696 784 0 410003 0 Current children cumulated CPU time (s) 7.19 Current children cumulated vsize (KiB) 1667956 [startup+7.60034 s] /proc/loadavg: 2.00 2.01 1.99 3/190 5982 /proc/meminfo: memFree=29960492/32770624 swapFree=6452/416612 [pid=5981] ppid=5978 vsize=0 CPUtime=7.58 cores=0,2,4,6 /proc/5981/stat : 5981 (MistralXCSP) R 5978 5981 4849 0 -1 4202500 445028 0 0 0 708 50 0 0 20 0 1 0 16311690 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/5981/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.58 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 7.6875 CPU time (s): 7.68143 CPU user time (s): 7.08492 CPU system time (s): 0.59651 CPU usage (%): 99.9212 Max. virtual memory (cumulated for all children) (KiB): 1667956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.08492 system time used= 0.59651 maximum resident set size= 1642656 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 445028 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= 10 involuntary context switches= 395 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.023804 second user time and 0.047768 second system time The end
Begin job on node133 at 2017-07-21 11:18:18 IDJOB=4241554 IDBENCH=126982 IDSOLVER=2622 FILE ID=node133/4241554-1500628698 RUNJOBID= node133-1500623778-4880 PBS_JOBID= 20623000 Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/Driver/Driver-m1-s1/driverlogw-09.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241554-1500628698/watcher-4241554-1500628698 -o /tmp/evaluation-result-4241554-1500628698/solver-4241554-1500628698 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500623778-4880 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1029253027 HOME/instance-4241554-1500628698.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 39f2309c430e073944706d11745a3453 RANDOM SEED=1029253027 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.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 : 5334.03 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 : 1600.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 : 1733.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 : 5334.03 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 : 2267.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 : 5334.03 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 : 1600.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 : 1600.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 : 5334.03 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 : 1600.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: 31603748 kB MemAvailable: 32013964 kB Buffers: 155896 kB Cached: 534876 kB SwapCached: 0 kB Active: 320860 kB Inactive: 425584 kB Active(anon): 58420 kB Inactive(anon): 8856 kB Active(file): 262440 kB Inactive(file): 416728 kB Unevictable: 6452 kB Mlocked: 6452 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 6616 kB Writeback: 4 kB AnonPages: 62160 kB Mapped: 33728 kB Shmem: 8872 kB Slab: 119472 kB SReclaimable: 93764 kB SUnreclaim: 25708 kB KernelStack: 3408 kB PageTables: 5076 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 328524 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62016 MiB End job on node133 at 2017-07-21 11:18:26