Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 14 | 252.001 | 252.01 |
Name | Rlfap/Rlfap-opt/ Rlfap-scen-02-opt_c18.xml |
MD5SUM | 716d835829f3ca87bb2599e5056828f4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 252.001 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 1235 |
Number of domains | 3 |
Minimum domain size | 22 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":22,"count":2},{"size":36,"count":94},{"size":44,"count":104}] |
Minimum variable degree | 2 |
Maximum variable degree | 45 |
Distribution of variable degrees | [{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":8},{"degree":5,"count":6},{"degree":6,"count":15},{"degree":7,"count":10},{"degree":8,"count":19},{"degree":9,"count":9},{"degree":10,"count":25},{"degree":11,"count":16},{"degree":12,"count":2},{"degree":13,"count":4},{"degree":14,"count":9},{"degree":15,"count":4},{"degree":16,"count":15},{"degree":17,"count":4},{"degree":18,"count":8},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":21,"count":2},{"degree":22,"count":4},{"degree":23,"count":6},{"degree":24,"count":3},{"degree":26,"count":3},{"degree":27,"count":6},{"degree":28,"count":1},{"degree":29,"count":5},{"degree":31,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":39,"count":1},{"degree":45,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1235}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1235 |
Distribution of constraint types | [{"type":"intension","count":1235}] |
Optimization problem | YES |
Type of objective | min NVALUES |
0.50/0.60 c best=?? lower=1 upper=200 0.79/0.85 c 0.79/0.85 c This is cosoco 1.12 -- 0.79/0.85 c 0.79/0.85 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301512-1532882516.xml 0.79/0.85 c enable optimization 0.79/0.85 c ========================================[ Problem Statistics ]=========================================== 0.79/0.85 c | 0.79/0.85 c | Parse time : 0.59 s 0.79/0.85 c | 0.79/0.85 c | Variables: 200 0.79/0.85 c | Domain Sizes: 22..44 0.79/0.85 c | 0.79/0.85 c | Constraints: 1236 0.79/0.85 c | Arity: 2..200 -- Binary: 1235 0.79/0.85 c | 0.79/0.85 c | Types: 0.79/0.85 c | Intension: 1235 0.79/0.85 c | NValues <= k: 1 0.79/0.85 c | 0.79/0.85 c | Objective: Minimize NValues <= k 0.79/0.85 0.79/0.85 c ========================================================================================================= 0.79/0.85 o 28 0.79/0.85 c 1 calls to solver: best=28 lower=1 upper=27 1.00/1.04 o 26 1.19/1.24 o 24 1.19/1.24 c 3 calls to solver: best=24 lower=1 upper=23 1.39/1.44 o 22 1.59/1.65 o 20 1.59/1.65 c 5 calls to solver: best=20 lower=1 upper=19 2.29/2.30 o 18 3.79/3.85 o 16 3.79/3.85 c 7 calls to solver: best=16 lower=1 upper=15 4.59/4.62 o 14 251.99/252.00 251.99/252.00 c *** INTERRUPTED *** 251.99/252.00 c restarts : 58 251.99/252.00 c conflicts : 245020 (972 /sec) 251.99/252.00 c decisions : 285733 (1134 /sec) 251.99/252.00 c propagations : 10577932 (41979 /sec) 251.99/252.00 c root propagations : 5418 251.99/252.00 c filter calls : 24481608 (97157 /sec) 251.99/252.00 c useless filter calls : 20661098 (84 %) 251.99/252.00 c Memory used : 50.77 MB 251.99/252.00 c CPU time : 251.979 s 251.99/252.00 251.99/252.00 c nb Solutions = 8 251.99/252.00 s SATISFIABLE 251.99/252.00 c Best value found: 14 251.99/252.00 251.99/252.00 251.99/252.00 v <instantiation type='solution' cost='14'> 251.99/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[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] 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.99/252.00 v <values>352 128 366 352 114 352 114 128 366 16 254 156 352 114 352 114 352 114 30 268 30 268 394 44 282 282 44 30 268 282 44 366 128 282 282 44 268 30 268 30 352 114 114 352 44 268 30 30 268 114 352 254 16 16 254 16 30 268 16 254 456 694 16 254 254 16 254 156 394 694 456 352 114 268 30 44 282 114 282 44 268 30 114 352 16 254 394 156 352 16 254 352 114 282 44 30 268 352 114 268 268 30 114 352 30 268 694 456 30 268 30 114 268 30 268 30 44 282 114 352 114 352 366 254 16 394 156 268 30 156 394 254 16 128 254 16 156 394 156 394 254 16 282 44 268 366 128 254 16 268 30 128 366 254 16 30 352 114 16 254 366 128 16 254 366 128 16 44 282 44 282 268 30 282 44 114 352 254 268 30 282 44 44 282 114 352 30 268 352 44 282 366 128 366 128 268 30 254 16 114 </values> 251.99/252.00 v </instantiation> 251.99/252.00
OK 14
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 (13420 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-4301512-1532882516/watcher-4301512-1532882516 -o /tmp/evaluation-result-4301512-1532882516/solver-4301512-1532882516 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19305 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301512-1532882516.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=21706, runsolver pid=21703 [startup+0.100108 s]* /proc/loadavg: 2.00 2.02 2.05 3/193 21707 /proc/meminfo: memFree=28398692/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=31192 memory=7520 CPUtime=0.1 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 2043 0 0 0 10 0 0 0 20 0 1 0 105814777 31940608 1880 33554432000 4194304 6142532 140722044524160 140722044520792 140485437258424 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 7798 1880 802 476 0 1120 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 31192 KiB Current children cumulated memory: 7520 KiB [startup+0.209676 s]* /proc/loadavg: 2.00 2.02 2.05 3/193 21707 /proc/meminfo: memFree=28394972/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=34964 memory=11292 CPUtime=0.21 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 3005 0 0 0 21 0 0 0 20 0 1 0 105814777 35803136 2823 33554432000 4194304 6142532 140722044524160 140722044520792 140485433773029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 8741 2823 802 476 0 2063 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 34964 KiB Current children cumulated memory: 11292 KiB [startup+0.309341 s]* /proc/loadavg: 2.00 2.02 2.05 3/193 21707 /proc/meminfo: memFree=28391252/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=38464 memory=14660 CPUtime=0.31 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 3884 0 0 0 31 0 0 0 20 0 1 0 105814777 39387136 3665 33554432000 4194304 6142532 140722044524160 140722044520792 140485433773029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 9616 3665 802 476 0 2938 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38464 KiB Current children cumulated memory: 14660 KiB [startup+0.700248 s] /proc/loadavg: 2.00 2.02 2.05 3/193 21707 /proc/meminfo: memFree=28384556/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=51724 memory=28048 CPUtime=0.69 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 7234 0 0 0 68 1 0 0 20 0 1 0 105814777 52965376 7012 33554432000 4194304 6142532 140722044524160 140722044511848 5374088 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 12931 7012 844 476 0 6253 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 51724 KiB Current children cumulated memory: 28048 KiB [startup+1.50031 s] /proc/loadavg: 2.00 2.02 2.05 3/193 21707 /proc/meminfo: memFree=28377860/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=51856 memory=28312 CPUtime=1.49 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 7278 0 0 0 148 1 0 0 20 0 1 0 105814777 53100544 7078 33554432000 4194304 6142532 140722044524160 140722044511848 5363572 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 12964 7078 846 476 0 6286 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 51856 KiB Current children cumulated memory: 28312 KiB [startup+3.10969 s] /proc/loadavg: 2.00 2.02 2.05 3/193 21707 /proc/meminfo: memFree=28377596/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=51856 memory=28500 CPUtime=3.1 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 13493 0 0 0 309 1 0 0 20 0 1 0 105814777 53100544 7125 33554432000 4194304 6142532 140722044524160 140722044511848 5051491 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 12964 7125 847 476 0 6286 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 51856 KiB Current children cumulated memory: 28500 KiB [startup+6.30022 s] /proc/loadavg: 1.92 2.00 2.04 3/193 21707 /proc/meminfo: memFree=28377288/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=51856 memory=28504 CPUtime=6.29 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 19712 0 0 0 628 1 0 0 20 0 1 0 105814777 53100544 7126 33554432000 4194304 6142532 140722044524160 140722044521688 5048079 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 12964 7126 847 476 0 6286 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 51856 KiB Current children cumulated memory: 28504 KiB [startup+12.7002 s] /proc/loadavg: 1.93 2.00 2.04 3/193 21768 /proc/meminfo: memFree=28315944/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=51856 memory=28504 CPUtime=12.69 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 23329 0 0 0 1268 1 0 0 20 0 1 0 105814777 53100544 7126 33554432000 4194304 6142532 140722044524160 140722044521688 5371674 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 12964 7126 847 476 0 6286 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 51856 KiB Current children cumulated memory: 28504 KiB [startup+25.5002 s] /proc/loadavg: 1.95 2.00 2.04 3/193 21768 /proc/meminfo: memFree=28054064/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=51856 memory=28504 CPUtime=25.49 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 35615 0 0 0 2547 2 0 0 20 0 1 0 105814777 53100544 7126 33554432000 4194304 6142532 140722044524160 140722044521688 5361236 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 12964 7126 847 476 0 6286 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 51856 KiB Current children cumulated memory: 28504 KiB [startup+51.1094 s] /proc/loadavg: 1.96 2.00 2.04 3/193 21768 /proc/meminfo: memFree=28042920/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=51856 memory=28504 CPUtime=51.09 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 37853 0 0 0 5107 2 0 0 20 0 1 0 105814777 53100544 7126 33554432000 4194304 6142532 140722044524160 140722044521688 5048248 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 12964 7126 847 476 0 6286 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 51856 KiB Current children cumulated memory: 28504 KiB [startup+102.3 s] /proc/loadavg: 1.98 2.00 2.04 3/193 21769 /proc/meminfo: memFree=28036396/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=51856 memory=28504 CPUtime=102.28 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 38740 0 0 0 10226 2 0 0 20 0 1 0 105814777 53100544 7126 33554432000 4194304 6142532 140722044524160 140722044521688 5146708 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 12964 7126 847 476 0 6286 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 51856 KiB Current children cumulated memory: 28504 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/192 21770 /proc/meminfo: memFree=28034932/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=51988 memory=28516 CPUtime=162.28 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 39326 0 0 0 16226 2 0 0 20 0 1 0 105814777 53235712 7129 33554432000 4194304 6142532 140722044524160 140722044521080 5371742 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 12997 7129 847 476 0 6319 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 51988 KiB Current children cumulated memory: 28516 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.04 3/191 21771 /proc/meminfo: memFree=28034608/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=51988 memory=28516 CPUtime=222.28 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 39662 0 0 0 22226 2 0 0 20 0 1 0 105814777 53235712 7129 33554432000 4194304 6142532 140722044524160 140722044521080 5374088 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 12997 7129 847 476 0 6319 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 51988 KiB Current children cumulated memory: 28516 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 2.00 2.04 3/191 21772 /proc/meminfo: memFree=28032968/32770624 swapFree=67108744/67108860 [pid=21706] ppid=21703 vsize=51988 memory=28516 CPUtime=251.99 cores=1,3,5,7 /proc/21706/stat : 21706 (cosoco) R 21703 21706 19273 0 -1 4202496 39924 0 0 0 25197 2 0 0 20 0 1 0 105814777 53235712 7129 33554432000 4194304 6142532 140722044524160 140722044521080 5366746 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 39448576 140722044527755 140722044527885 140722044527885 140722044530638 0 /proc/21706/statm: 12997 7129 847 476 0 6319 0 Current children cumulated CPU time: 251.99 s Current children cumulated vsize: 51988 KiB Current children cumulated memory: 28516 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 21706 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.979 s, system=0.022 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.01 CPU time (s): 252.001 CPU user time (s): 251.979 CPU system time (s): 0.022 CPU usage (%): 99.9965 Max. virtual memory (cumulated for all children) (KiB): 51988 Max. memory (cumulated for all children) (KiB): 28516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.979 system time used= 0.022 maximum resident set size= 28580 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39974 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= 14 involuntary context switches= 73 # summary of solver processes directly reported to runsolver: # pid: 21706 # total CPU time (s): 252.001 # total CPU user time (s): 251.979 # total CPU system time (s): 0.022 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.952303 second user time and 1.64768 second system time The end
Begin job on node134 at 2018-07-29 18:41:56 IDJOB=4301512 IDBENCH=141201 IDSOLVER=2774 FILE ID=node134/4301512-1532882516 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-02-opt_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301512-1532882516/watcher-4301512-1532882516 -o /tmp/evaluation-result-4301512-1532882516/solver-4301512-1532882516 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19305 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301512-1532882516.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 716d835829f3ca87bb2599e5056828f4 RANDOM SEED=1026861077 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: 28403356 kB MemAvailable: 31946088 kB Buffers: 202732 kB Cached: 3611260 kB SwapCached: 0 kB Active: 1632540 kB Inactive: 2258588 kB Active(anon): 26704 kB Inactive(anon): 78480 kB Active(file): 1605836 kB Inactive(file): 2180108 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 2724 kB Writeback: 0 kB AnonPages: 197492 kB Mapped: 46460 kB Shmem: 25132 kB Slab: 173696 kB SReclaimable: 145248 kB SUnreclaim: 28448 kB KernelStack: 3456 kB PageTables: 5192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 374212 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 141312 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:46:08