Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Naxos 1.1.0 | SAT | 230.262 | 230.267 |
Name | Driver/ Driver-m1-s1/driverlogw-08cc.xml |
MD5SUM | 5295e32d08449c2e3ec72eea1c3f05d5 |
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 | 2.7031801 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 408 |
Number of constraints | 9321 |
Number of domains | 8 |
Minimum domain size | 2 |
Maximum domain size | 11 |
Distribution of domain sizes | [{"size":2,"count":131},{"size":3,"count":64},{"size":4,"count":64},{"size":5,"count":95},{"size":6,"count":10},{"size":7,"count":23},{"size":8,"count":18},{"size":11,"count":3}] |
Minimum variable degree | 1 |
Maximum variable degree | 117 |
Distribution of variable degrees | [{"degree":1,"count":5},{"degree":3,"count":3},{"degree":5,"count":17},{"degree":7,"count":2},{"degree":8,"count":9},{"degree":9,"count":8},{"degree":10,"count":5},{"degree":11,"count":7},{"degree":12,"count":6},{"degree":13,"count":3},{"degree":14,"count":14},{"degree":15,"count":3},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":3},{"degree":20,"count":4},{"degree":21,"count":2},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":8},{"degree":25,"count":3},{"degree":26,"count":4},{"degree":27,"count":1},{"degree":28,"count":2},{"degree":29,"count":1},"...",{"degree":74,"count":1}, {"degree":75,"count":5}, {"degree":76,"count":1}, {"degree":77,"count":5}, {"degree":78,"count":4}, {"degree":79,"count":7}, {"degree":80,"count":8}, {"degree":81,"count":3}, {"degree":82,"count":1}, {"degree":84,"count":2}, {"degree":86,"count":11}, {"degree":87,"count":5}, {"degree":88,"count":2}, {"degree":93,"count":3}, {"degree":97,"count":2}, {"degree":98,"count":1}, {"degree":106,"count":2}, {"degree":107,"count":2}, {"degree":108,"count":3}, {"degree":109,"count":2}, {"degree":113,"count":1}, {"degree":114,"count":1}, {"degree":115,"count":1}, {"degree":116,"count":2}, {"degree":117,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":9321}] |
Number of extensional constraints | 9321 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":9321}] |
Optimization problem | NO |
Type of objective |
230.19/230.26 s SATISFIABLE 230.19/230.26 v <instantiation> 230.19/230.26 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] 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] x2[0] x2[1] x2[2] x2[3] x2[4] x2[5] x2[6] x2[7] x2[8] x2[9] 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] x3[71] x3[72] x3[73] x3[74] x3[75] x3[76] x3[77] x3[78] x3[79] x3[80] x3[81] x3[82] x3[83] x3[84] x3[85] x3[86] x3[87] x3[88] x3[89] x3[90] x3[91] x3[92] x3[93] x3[94] 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] 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] x5[25] x5[26] x5[27] x5[28] x5[29] x5[30] x5[31] x5[32] x5[33] x5[34] x5[35] x5[36] x5[37] x5[38] x5[39] x5[40] x5[41] x5[42] x5[43] x5[44] x5[45] x5[46] x5[47] x5[48] x5[49] x5[50] x5[51] x5[52] x5[53] x5[54] x5[55] x5[56] x5[57] x5[58] x5[59] x5[60] x5[61] x5[62] x5[63] x6[0] x6[1] x6[2] x7[0] x7[1] x7[2] x7[3] x7[4] x7[5] x7[6] x7[7] x7[8] x7[9] x7[10] x7[11] x7[12] x7[13] x7[14] x7[15] x7[16] x7[17] x7[18] x7[19] x7[20] x7[21] x7[22] x7[23] x7[24] x7[25] x7[26] x7[27] x7[28] x7[29] x7[30] x7[31] x7[32] x7[33] x7[34] x7[35] x7[36] x7[37] x7[38] x7[39] x7[40] x7[41] x7[42] x7[43] x7[44] x7[45] x7[46] x7[47] x7[48] x7[49] x7[50] x7[51] x7[52] x7[53] x7[54] x7[55] x7[56] x7[57] x7[58] x7[59] x7[60] x7[61] x7[62] x7[63] x7[64] x7[65] x7[66] x7[67] x7[68] x7[69] x7[70] x7[71] x7[72] x7[73] x7[74] x7[75] x7[76] x7[77] x7[78] x7[79] x7[80] x7[81] x7[82] x7[83] x7[84] x7[85] x7[86] x7[87] x7[88] x7[89] x7[90] x7[91] x7[92] x7[93] x7[94] x7[95] x7[96] x7[97] x7[98] x7[99] x7[100] x7[101] x7[102] x7[103] x7[104] x7[105] x7[106] x7[107] x7[108] x7[109] x7[110] x7[111] x7[112] x7[113] x7[114] x7[115] x7[116] x7[117] x7[118] x7[119] x7[120] x7[121] x7[122] x7[123] x7[124] x7[125] x7[126] x7[127] x7[128] x7[129] x7[130] </list> 230.19/230.26 v <values> 0 1 2 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 5 0 4 0 3 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 0 0 1 1 0 0 7 0 0 0 0 3 1 0 1 0 1 0 0 0 0 0 0 2 0 2 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 </values> 230.19/230.26 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-4252667-1500926918/watcher-4252667-1500926918 -o /tmp/evaluation-result-4252667-1500926918/solver-4252667-1500926918 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3378 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252667-1500926918.xml pid=6979 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 2.04 2/181 6982 /proc/meminfo: memFree=32105524/32770624 swapFree=5780/125572 [pid=6982] ppid=6979 vsize=25132 CPUtime=0 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 1079 0 0 0 0 0 0 0 20 0 1 0 2244529 25735168 917 33554432000 4194304 6986860 140723105203296 140723105199992 139872903695333 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 6283 917 674 682 0 286 0 [startup+0.100198 s] /proc/loadavg: 2.00 2.01 2.04 2/181 6982 /proc/meminfo: memFree=32105524/32770624 swapFree=5780/125572 [pid=6982] ppid=6979 vsize=31452 CPUtime=0.09 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 2675 0 0 0 9 0 0 0 20 0 1 0 2244529 32206848 2491 33554432000 4194304 6986860 140723105203296 140723105199992 139872904133632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 7895 2523 678 682 0 1898 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31452 [startup+0.200387 s] /proc/loadavg: 2.00 2.01 2.04 2/181 6982 /proc/meminfo: memFree=32105524/32770624 swapFree=5780/125572 [pid=6982] ppid=6979 vsize=37140 CPUtime=0.19 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 4097 0 0 0 19 0 0 0 20 0 1 0 2244529 38031360 3878 33554432000 4194304 6986860 140723105203296 140723105199992 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9285 3878 693 682 0 3288 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 37140 [startup+0.300363 s] /proc/loadavg: 2.00 2.01 2.04 2/181 6982 /proc/meminfo: memFree=32105524/32770624 swapFree=5780/125572 [pid=6982] ppid=6979 vsize=37140 CPUtime=0.29 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 4097 0 0 0 29 0 0 0 20 0 1 0 2244529 38031360 3878 33554432000 4194304 6986860 140723105203296 140723105199992 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9285 3878 693 682 0 3288 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37140 [startup+0.70029 s] /proc/loadavg: 2.00 2.01 2.04 2/181 6982 /proc/meminfo: memFree=32105524/32770624 swapFree=5780/125572 [pid=6982] ppid=6979 vsize=37328 CPUtime=0.69 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 4151 0 0 0 69 0 0 0 20 0 1 0 2244529 38223872 3997 33554432000 4194304 6986860 140723105203296 140723105198648 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9332 3997 693 682 0 3335 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37328 [startup+1.50028 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6983 /proc/meminfo: memFree=32091820/32770624 swapFree=5780/125596 [pid=6982] ppid=6979 vsize=37328 CPUtime=1.49 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 4151 0 0 0 148 1 0 0 20 0 1 0 2244529 38223872 3997 33554432000 4194304 6986860 140723105203296 140723105198824 5433869 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9332 3997 693 682 0 3335 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37328 [startup+3.10029 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6983 /proc/meminfo: memFree=32092060/32770624 swapFree=5780/125620 [pid=6982] ppid=6979 vsize=37328 CPUtime=3.09 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 7341 0 0 0 308 1 0 0 20 0 1 0 2244529 38223872 4003 33554432000 4194304 6986860 140723105203296 140723105198648 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9332 4003 693 682 0 3335 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37328 [startup+6.30029 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6983 /proc/meminfo: memFree=32091776/32770624 swapFree=5780/125620 [pid=6982] ppid=6979 vsize=37328 CPUtime=6.29 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 10575 0 0 0 627 2 0 0 20 0 1 0 2244529 38223872 4005 33554432000 4194304 6986860 140723105203296 140723105198648 5438928 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9332 4005 693 682 0 3335 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37328 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6983 /proc/meminfo: memFree=32091420/32770624 swapFree=5780/125620 [pid=6982] ppid=6979 vsize=37328 CPUtime=12.69 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 13782 0 0 0 1265 4 0 0 20 0 1 0 2244529 38223872 4005 33554432000 4194304 6986860 140723105203296 140723105198648 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9332 4005 693 682 0 3335 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37328 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6983 /proc/meminfo: memFree=32091464/32770624 swapFree=5780/125648 [pid=6982] ppid=6979 vsize=37456 CPUtime=25.49 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 20217 0 0 0 2541 8 0 0 20 0 1 0 2244529 38354944 4006 33554432000 4194304 6986860 140723105203296 140723105198824 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9364 4006 693 682 0 3367 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37456 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.04 3/182 6983 /proc/meminfo: memFree=32090956/32770624 swapFree=5780/125660 [pid=6982] ppid=6979 vsize=37452 CPUtime=51.08 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 20461 0 0 0 5093 15 0 0 20 0 1 0 2244529 38350848 4018 33554432000 4194304 6986860 140723105203296 140723105198648 5256528 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9363 4018 693 682 0 3366 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 37452 [startup+102.3 s] /proc/loadavg: 2.06 2.02 2.05 3/182 7052 /proc/meminfo: memFree=32072976/32770624 swapFree=5780/125748 [pid=6982] ppid=6979 vsize=37388 CPUtime=102.29 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 20671 0 0 0 10199 30 0 0 20 0 1 0 2244529 38285312 4018 33554432000 4194304 6986860 140723105203296 140723105198648 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9347 4018 693 682 0 3350 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 37388 [startup+162.3 s] /proc/loadavg: 2.02 2.02 2.05 3/182 7053 /proc/meminfo: memFree=32072396/32770624 swapFree=5780/125836 [pid=6982] ppid=6979 vsize=37388 CPUtime=162.29 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 20879 0 0 0 16183 46 0 0 20 0 1 0 2244529 38285312 4018 33554432000 4194304 6986860 140723105203296 140723105198648 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9347 4018 693 682 0 3350 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 37388 [startup+222.306 s] /proc/loadavg: 2.01 2.01 2.05 3/182 7054 /proc/meminfo: memFree=32072148/32770624 swapFree=5780/125908 [pid=6982] ppid=6979 vsize=37388 CPUtime=222.29 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 21088 0 0 0 22166 63 0 0 20 0 1 0 2244529 38285312 4018 33554432000 4194304 6986860 140723105203296 140723105198648 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9347 4018 693 682 0 3350 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 37388 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6982 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+224 s] /proc/loadavg: 2.01 2.01 2.05 3/182 7054 /proc/meminfo: memFree=32072024/32770624 swapFree=5780/125908 [pid=6982] ppid=6979 vsize=37388 CPUtime=223.98 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 21088 0 0 0 22335 63 0 0 20 0 1 0 2244529 38285312 4018 33554432000 4194304 6986860 140723105203296 140723105198824 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9347 4018 693 682 0 3350 0 Current children cumulated CPU time (s) 223.98 Current children cumulated vsize (KiB) 37388 [startup+227.2 s] /proc/loadavg: 2.01 2.01 2.05 3/182 7054 /proc/meminfo: memFree=32072024/32770624 swapFree=5780/125908 [pid=6982] ppid=6979 vsize=37388 CPUtime=227.19 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 21088 0 0 0 22655 64 0 0 20 0 1 0 2244529 38285312 4018 33554432000 4194304 6986860 140723105203296 140723105198648 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9347 4018 693 682 0 3350 0 Current children cumulated CPU time (s) 227.19 Current children cumulated vsize (KiB) 37388 [startup+228.8 s] /proc/loadavg: 2.01 2.01 2.05 3/182 7054 /proc/meminfo: memFree=32072024/32770624 swapFree=5780/125912 [pid=6982] ppid=6979 vsize=37388 CPUtime=228.79 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 21088 0 0 0 22815 64 0 0 20 0 1 0 2244529 38285312 4018 33554432000 4194304 6986860 140723105203296 140723105198648 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9347 4018 693 682 0 3350 0 Current children cumulated CPU time (s) 228.79 Current children cumulated vsize (KiB) 37388 [startup+229.6 s] /proc/loadavg: 2.01 2.01 2.05 3/182 7054 /proc/meminfo: memFree=32072024/32770624 swapFree=5780/125912 [pid=6982] ppid=6979 vsize=37388 CPUtime=229.58 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 21088 0 0 0 22894 64 0 0 20 0 1 0 2244529 38285312 4018 33554432000 4194304 6986860 140723105203296 140723105198648 5422729 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9347 4018 693 682 0 3350 0 Current children cumulated CPU time (s) 229.58 Current children cumulated vsize (KiB) 37388 [startup+230.006 s] /proc/loadavg: 2.01 2.01 2.05 3/182 7054 /proc/meminfo: memFree=32072148/32770624 swapFree=5780/125916 [pid=6982] ppid=6979 vsize=37388 CPUtime=230 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 21088 0 0 0 22935 65 0 0 20 0 1 0 2244529 38285312 4018 33554432000 4194304 6986860 140723105203296 140723105198648 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9347 4018 693 682 0 3350 0 Current children cumulated CPU time (s) 230 Current children cumulated vsize (KiB) 37388 [startup+230.2 s] /proc/loadavg: 2.01 2.01 2.05 3/182 7054 /proc/meminfo: memFree=32072148/32770624 swapFree=5780/125916 [pid=6982] ppid=6979 vsize=37388 CPUtime=230.19 cores=0,2,4,6 /proc/6982/stat : 6982 (naxos-xcsp3) R 6979 6982 3347 0 -1 4202496 21088 0 0 0 22954 65 0 0 20 0 1 0 2244529 38285312 4018 33554432000 4194304 6986860 140723105203296 140723105198648 139872903958908 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 37720064 140723105207566 140723105207647 140723105207647 140723105210346 0 /proc/6982/statm: 9347 4018 693 682 0 3350 0 Current children cumulated CPU time (s) 230.19 Current children cumulated vsize (KiB) 37388 Child status: 0 Real time (s): 230.267 CPU time (s): 230.262 CPU user time (s): 229.611 CPU system time (s): 0.650998 CPU usage (%): 99.9978 Max. virtual memory (cumulated for all children) (KiB): 37456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 229.611 system time used= 0.650998 maximum resident set size= 16112 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21119 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= 11 involuntary context switches= 290 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.598172 second user time and 0.795507 second system time The end
Begin job on node117 at 2017-07-24 22:08:38 IDJOB=4252667 IDBENCH=126980 IDSOLVER=2634 FILE ID=node117/4252667-1500926918 RUNJOBID= node117-1500914921-3378 PBS_JOBID= 20625410 Free space on /tmp= 61884 MiB SOLVER NAME= Naxos 1.1.0 BENCH NAME= XCSP17/Driver/Driver-m1-s1/driverlogw-08cc.xml COMMAND LINE= ./naxos-xcsp3 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252667-1500926918/watcher-4252667-1500926918 -o /tmp/evaluation-result-4252667-1500926918/solver-4252667-1500926918 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500914921-3378 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252667-1500926918.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5295e32d08449c2e3ec72eea1c3f05d5 RANDOM SEED=1246258789 node117.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.58 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.58 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.58 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.58 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: 32106096 kB MemAvailable: 32053912 kB Buffers: 35996 kB Cached: 226700 kB SwapCached: 0 kB Active: 180692 kB Inactive: 134216 kB Active(anon): 55196 kB Inactive(anon): 8644 kB Active(file): 125496 kB Inactive(file): 125572 kB Unevictable: 5780 kB Mlocked: 5780 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 3400 kB Writeback: 0 kB AnonPages: 58088 kB Mapped: 29672 kB Shmem: 8844 kB Slab: 50224 kB SReclaimable: 25164 kB SUnreclaim: 25060 kB KernelStack: 3264 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 289620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61880 MiB End job on node117 at 2017-07-24 22:12:28