Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 16 | 251.992 | 252.011 |
Name | Rlfap/Rlfap-opt/ Rlfap-scen-03-opt_c18.xml |
MD5SUM | 631d96c8d55ed895f005166b86b2772f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 16 |
Best CPU time to get the best result obtained on this benchmark | 251.992 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 2760 |
Number of domains | 4 |
Minimum domain size | 6 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":8},{"size":36,"count":182},{"size":44,"count":208}] |
Minimum variable degree | 4 |
Maximum variable degree | 62 |
Distribution of variable degrees | [{"degree":4,"count":16},{"degree":5,"count":11},{"degree":6,"count":28},{"degree":7,"count":18},{"degree":8,"count":30},{"degree":9,"count":5},{"degree":10,"count":40},{"degree":11,"count":25},{"degree":12,"count":20},{"degree":13,"count":11},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":20},{"degree":17,"count":7},{"degree":18,"count":26},{"degree":19,"count":7},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":5},{"degree":26,"count":9},{"degree":27,"count":4},{"degree":28,"count":2},{"degree":29,"count":4},{"degree":30,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":55,"count":1},{"degree":62,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2760}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2760 |
Distribution of constraint types | [{"type":"intension","count":2760}] |
Optimization problem | YES |
Type of objective | min NVALUES |
1.29/1.37 c best=?? lower=1 upper=400 1.89/1.99 c 1.89/1.99 c This is cosoco 1.12 -- 1.89/1.99 c 1.89/1.99 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301524-1532882769.xml 1.89/1.99 c enable optimization 1.89/1.99 c ========================================[ Problem Statistics ]=========================================== 1.89/1.99 c | 1.89/1.99 c | Parse time : 1.34 s 1.89/1.99 c | 1.89/1.99 c | Variables: 400 1.89/1.99 c | Domain Sizes: 6..44 1.89/1.99 c | 1.89/1.99 c | Constraints: 2761 1.89/1.99 c | Arity: 2..400 -- Binary: 2760 1.89/1.99 c | 1.89/1.99 c | Types: 1.89/1.99 c | Intension: 2760 1.89/1.99 c | NValues <= k: 1 1.89/1.99 c | 1.89/1.99 c | Objective: Minimize NValues <= k 1.89/1.99 1.89/1.99 c ========================================================================================================= 1.89/1.99 o 28 1.89/1.99 c 1 calls to solver: best=28 lower=1 upper=27 2.49/2.51 o 26 3.59/3.64 o 24 3.59/3.64 c 3 calls to solver: best=24 lower=1 upper=23 7.49/7.53 o 22 9.19/9.29 o 20 9.19/9.29 c 5 calls to solver: best=20 lower=1 upper=19 10.89/10.98 o 18 46.88/46.99 o 16 46.88/46.99 c 7 calls to solver: best=16 lower=1 upper=15 251.98/252.00 251.98/252.00 c *** INTERRUPTED *** 251.98/252.00 c restarts : 50 251.98/252.00 c conflicts : 116482 (462 /sec) 251.98/252.00 c decisions : 137156 (544 /sec) 251.98/252.00 c propagations : 6894299 (27366 /sec) 251.98/252.00 c root propagations : 11088 251.98/252.00 c filter calls : 19749946 (78395 /sec) 251.98/252.00 c useless filter calls : 17034497 (86 %) 251.98/252.00 c Memory used : 85.07 MB 251.98/252.00 c CPU time : 251.929 s 251.98/252.00 251.98/252.00 c nb Solutions = 7 251.98/252.00 s SATISFIABLE 251.98/252.00 c Best value found: 16 251.98/252.00 251.98/252.00 251.98/252.00 v <instantiation type='solution' cost='16'> 251.98/252.00 v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[25] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[26] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] </list> 251.98/252.01 v <values>16 30 268 16 254 142 380 142 380 254 16 254 680 442 100 338 30 268 142 380 268 30 16 16 254 58 296 58 296 16 254 16 254 380 16 254 442 680 254 16 338 100 338 100 142 338 100 268 30 652 414 380 142 380 142 16 296 58 338 100 442 680 268 30 142 380 254 282 44 100 338 58 296 16 254 380 142 268 142 380 282 44 268 30 442 680 30 268 30 100 338 296 58 680 442 30 268 254 16 100 268 30 268 30 282 44 380 142 338 100 338 254 254 16 282 44 30 268 100 338 414 652 44 254 16 254 16 58 296 30 268 58 296 282 268 30 338 100 380 142 44 282 44 282 142 254 16 142 380 338 100 142 380 16 254 380 282 44 142 380 282 44 338 100 338 100 100 380 142 338 100 268 30 268 30 100 338 338 282 44 338 100 100 338 30 268 268 30 254 296 58 44 282 30 268 100 338 268 30 16 268 30 282 44 142 380 268 30 142 380 442 268 30 16 254 268 30 268 30 268 30 680 16 254 16 442 680 16 254 16 254 268 30 414 442 680 338 100 254 16 142 380 142 380 652 100 338 100 338 58 296 652 414 100 338 282 268 30 30 268 268 30 380 142 268 30 44 254 16 652 414 268 30 254 16 30 268 142 380 142 16 254 30 268 338 100 268 30 380 44 282 268 30 44 282 268 30 100 338 680 100 338 30 268 380 142 142 380 254 16 442 282 44 30 268 282 44 338 100 30 268 142 30 268 58 296 268 30 142 380 414 652 380 254 100 338 442 680 380 142 16 254 16 254 30 254 16 282 44 254 16 338 100 652 414 268 380 142 30 268 652 414 30 268 296 58 268 30 268 44 282 44 282 16 254 142 380 30 142 380 680 442 268 30 268 30 254 16 142 254 16 268 30 652 414 254 16 58 296 380 </values> 251.98/252.01 v </instantiation> 251.98/252.01
OK 16
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 (13084 MiB free) memory of node 1: 16384 MiB (14316 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301524-1532882769/watcher-4301524-1532882769 -o /tmp/evaluation-result-4301524-1532882769/solver-4301524-1532882769 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19305 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301524-1532882769.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=21832, runsolver pid=21829 [startup+0.100105 s]* /proc/loadavg: 2.00 2.00 2.04 3/191 21833 /proc/meminfo: memFree=28054560/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=31720 memory=7844 CPUtime=0.1 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 2164 0 0 0 10 0 0 0 20 0 1 0 105840086 32481280 1961 33554432000 4194304 6142532 140724307683984 140724307680616 139897948031973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 7930 1961 802 476 0 1252 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 31720 KiB Current children cumulated memory: 7844 KiB [startup+0.209589 s]* /proc/loadavg: 2.00 2.00 2.04 3/191 21833 /proc/meminfo: memFree=28050468/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=35800 memory=12104 CPUtime=0.2 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 3197 0 0 0 20 0 0 0 20 0 1 0 105840086 36659200 3026 33554432000 4194304 6142532 140724307683984 140724307680616 139897948031973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 8950 3026 802 476 0 2272 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 35800 KiB Current children cumulated memory: 12104 KiB [startup+0.309372 s]* /proc/loadavg: 2.00 2.00 2.04 3/191 21833 /proc/meminfo: memFree=28046748/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=39620 memory=15924 CPUtime=0.3 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 4142 0 0 0 30 0 0 0 20 0 1 0 105840086 40570880 3981 33554432000 4194304 6142532 140724307683984 140724307680616 139897957968528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 9905 3981 802 476 0 3227 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 39620 KiB Current children cumulated memory: 15924 KiB [startup+0.70024 s] /proc/loadavg: 2.00 2.00 2.04 3/191 21833 /proc/meminfo: memFree=28039308/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=54056 memory=30360 CPUtime=0.69 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 7747 0 0 0 68 1 0 0 20 0 1 0 105840086 55353344 7590 33554432000 4194304 6142532 140724307683984 140724307680616 139897948031973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 13514 7590 802 476 0 6836 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 54056 KiB Current children cumulated memory: 30360 KiB [startup+1.50028 s] /proc/loadavg: 2.00 2.00 2.04 3/190 21833 /proc/meminfo: memFree=28020392/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=84604 memory=61040 CPUtime=1.49 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 15456 0 0 0 146 3 0 0 20 0 1 0 105840086 86634496 15260 33554432000 4194304 6142532 140724307683984 140724307680616 139897948031973 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 21151 15260 843 476 0 14473 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 84604 KiB Current children cumulated memory: 61040 KiB [startup+3.10955 s] /proc/loadavg: 2.00 2.00 2.04 3/190 21833 /proc/meminfo: memFree=27998444/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=86980 memory=63536 CPUtime=3.1 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 21084 0 0 0 307 3 0 0 20 0 1 0 105840086 89067520 15884 33554432000 4194304 6142532 140724307683984 140724307680616 5396720 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 21745 15884 846 476 0 15067 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 86980 KiB Current children cumulated memory: 63536 KiB [startup+6.30023 s] /proc/loadavg: 2.00 2.00 2.04 3/190 21833 /proc/meminfo: memFree=27996480/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=86980 memory=63564 CPUtime=6.29 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 45171 0 0 0 625 4 0 0 20 0 1 0 105840086 89067520 15891 33554432000 4194304 6142532 140724307683984 140724307681512 5371724 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 21745 15891 846 476 0 15067 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 86980 KiB Current children cumulated memory: 63564 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.04 3/190 21894 /proc/meminfo: memFree=28357720/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=87112 memory=63640 CPUtime=12.69 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 61011 0 0 0 1264 5 0 0 20 0 1 0 105840086 89202688 15910 33554432000 4194304 6142532 140724307683984 140724307681512 5146845 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 21778 15910 846 476 0 15100 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 87112 KiB Current children cumulated memory: 63640 KiB [startup+25.5002 s] /proc/loadavg: 1.92 1.99 2.03 3/190 21955 /proc/meminfo: memFree=28316268/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=87112 memory=63640 CPUtime=25.49 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 72104 0 0 0 2543 6 0 0 20 0 1 0 105840086 89202688 15910 33554432000 4194304 6142532 140724307683984 140724307681512 5372468 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 21778 15910 846 476 0 15100 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 87112 KiB Current children cumulated memory: 63640 KiB [startup+51.1094 s] /proc/loadavg: 1.95 1.99 2.03 3/191 21956 /proc/meminfo: memFree=28314960/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=87112 memory=63640 CPUtime=51.09 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 73782 0 0 0 5103 6 0 0 20 0 1 0 105840086 89202688 15910 33554432000 4194304 6142532 140724307683984 140724307671256 139897957976975 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 21778 15910 846 476 0 15100 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 87112 KiB Current children cumulated memory: 63640 KiB [startup+102.3 s] /proc/loadavg: 1.98 1.99 2.03 3/191 21957 /proc/meminfo: memFree=28314744/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=87112 memory=63640 CPUtime=102.28 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 74257 0 0 0 10222 6 0 0 20 0 1 0 105840086 89202688 15910 33554432000 4194304 6142532 140724307683984 140724307671256 5361758 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 21778 15910 846 476 0 15100 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 87112 KiB Current children cumulated memory: 63640 KiB [startup+162.3 s] /proc/loadavg: 1.99 1.99 2.03 3/191 21958 /proc/meminfo: memFree=28314488/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=87112 memory=63640 CPUtime=162.28 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 74759 0 0 0 16222 6 0 0 20 0 1 0 105840086 89202688 15910 33554432000 4194304 6142532 140724307683984 140724307671256 5375758 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 21778 15910 846 476 0 15100 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 87112 KiB Current children cumulated memory: 63640 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.99 2.03 3/191 21959 /proc/meminfo: memFree=28314448/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=87112 memory=63640 CPUtime=222.27 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 75224 0 0 0 22221 6 0 0 20 0 1 0 105840086 89202688 15910 33554432000 4194304 6142532 140724307683984 140724307671256 5047885 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 21778 15910 846 476 0 15100 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 87112 KiB Current children cumulated memory: 63640 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 1.99 2.03 3/192 21967 /proc/meminfo: memFree=28313612/32770624 swapFree=67108744/67108860 [pid=21832] ppid=21829 vsize=87112 memory=63640 CPUtime=251.98 cores=1,3,5,7 /proc/21832/stat : 21832 (cosoco) R 21829 21832 19273 0 -1 4202496 75699 0 0 0 25192 6 0 0 20 0 1 0 105840086 89202688 15910 33554432000 4194304 6142532 140724307683984 140724307671256 5371684 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 11931648 140724307690635 140724307690765 140724307690765 140724307693518 0 /proc/21832/statm: 21778 15910 846 476 0 15100 0 Current children cumulated CPU time: 251.98 s Current children cumulated vsize: 87112 KiB Current children cumulated memory: 63640 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 21832 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.929 s, system=0.063 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.011 CPU time (s): 251.992 CPU user time (s): 251.929 CPU system time (s): 0.063 CPU usage (%): 99.9927 Max. virtual memory (cumulated for all children) (KiB): 87112 Max. memory (cumulated for all children) (KiB): 63640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.929 system time used= 0.063 maximum resident set size= 63708 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75773 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= 34 involuntary context switches= 69 # summary of solver processes directly reported to runsolver: # pid: 21832 # total CPU time (s): 251.992 # total CPU user time (s): 251.929 # total CPU system time (s): 0.063 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.917229 second user time and 1.74674 second system time The end
Begin job on node134 at 2018-07-29 18:46:09 IDJOB=4301524 IDBENCH=141205 IDSOLVER=2774 FILE ID=node134/4301524-1532882769 RUNJOBID= node134-1532878455-19305 PBS_JOBID= 21022511 Free space on /tmp= 60956 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-03-opt_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301524-1532882769/watcher-4301524-1532882769 -o /tmp/evaluation-result-4301524-1532882769/solver-4301524-1532882769 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19305 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301524-1532882769.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 631d96c8d55ed895f005166b86b2772f RANDOM SEED=1813065536 node134.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.68 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.68 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.68 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.68 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: 28059316 kB MemAvailable: 31602472 kB Buffers: 202780 kB Cached: 3611612 kB SwapCached: 0 kB Active: 1975224 kB Inactive: 2258692 kB Active(anon): 369088 kB Inactive(anon): 78480 kB Active(file): 1606136 kB Inactive(file): 2180212 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 476184 kB Mapped: 46428 kB Shmem: 25132 kB Slab: 173780 kB SReclaimable: 145288 kB SUnreclaim: 28492 kB KernelStack: 3632 kB PageTables: 5836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 719580 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 382976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60952 MiB End job on node134 at 2018-07-29 18:50:21