Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 280 | 251.982 | 252.01 |
Name | SumColoring/ SumColoring-1-fullins-5_c18.xml |
MD5SUM | ee128878a96f2bf381e98278be1f86f4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 241 |
Best CPU time to get the best result obtained on this benchmark | 252.092 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 282 |
Number of constraints | 3247 |
Number of domains | 1 |
Minimum domain size | 282 |
Maximum domain size | 282 |
Distribution of domain sizes | [{"size":282,"count":282}] |
Minimum variable degree | 9 |
Maximum variable degree | 96 |
Distribution of variable degrees | [{"degree":9,"count":4},{"degree":10,"count":6},{"degree":11,"count":11},{"degree":12,"count":8},{"degree":13,"count":13},{"degree":14,"count":13},{"degree":15,"count":13},{"degree":16,"count":16},{"degree":17,"count":15},{"degree":18,"count":15},{"degree":19,"count":11},{"degree":20,"count":11},{"degree":21,"count":12},{"degree":22,"count":12},{"degree":23,"count":9},{"degree":24,"count":9},{"degree":25,"count":10},{"degree":26,"count":10},{"degree":27,"count":10},{"degree":28,"count":10},{"degree":29,"count":4},{"degree":30,"count":4},{"degree":31,"count":4},{"degree":32,"count":4},{"degree":33,"count":3},{"degree":34,"count":3},{"degree":35,"count":6},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":38,"count":3},{"degree":39,"count":3},{"degree":40,"count":3},{"degree":45,"count":3},{"degree":46,"count":3},{"degree":47,"count":3},{"degree":48,"count":3},{"degree":65,"count":3},{"degree":66,"count":3},{"degree":96,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":3247}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3247 |
Distribution of constraint types | [{"type":"intension","count":3247}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 0.51/0.56 o 281 0.51/0.57 o 280 251.97/252.00 s SATISFIABLE 251.97/252.00 v <instantiation type="solution"> 251.97/252.00 v <list> c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249] c[250] c[251] c[252] c[253] c[254] c[255] c[256] c[257] c[258] c[259] c[260] c[261] c[262] c[263] c[264] c[265] c[266] c[267] c[268] c[269] c[270] c[271] c[272] c[273] c[274] c[275] c[276] c[277] c[278] c[279] c[280] c[281] </list> 251.97/252.00 v <values> 4 3 4 5 3 3 4 3 5 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 2 3 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 3 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 </values> 251.97/252.00 v </instantiation>
OK 280
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 (14025 MiB free) memory of node 1: 16384 MiB (9559 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312557-1534699514/watcher-4312557-1534699514 -o /tmp/evaluation-result-4312557-1534699514/solver-4312557-1534699514 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534699008-9697 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1850174714 HOME/instance-4312557-1534699514.xml running on 4 cores: 0,2,4,6 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 solver pid=9961, runsolver pid=9958 Current StackSize limit: 8192 KiB [startup+0.100193 s]* /proc/loadavg: 1.92 1.67 0.91 5/204 9962 /proc/meminfo: memFree=24133540/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=31132 memory=5664 CPUtime=0.1 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 1590 0 0 0 10 0 0 0 20 0 1 0 287514591 31879168 1416 33554432000 4194304 7499544 140732342859248 140732342856248 140294921538533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 7783 1416 689 807 0 774 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 31132 KiB Current children cumulated memory: 5664 KiB [startup+0.209844 s]* /proc/loadavg: 1.92 1.67 0.91 6/204 9962 /proc/meminfo: memFree=24104616/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=34072 memory=8568 CPUtime=0.21 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 2334 0 0 0 21 0 0 0 20 0 1 0 287514591 34889728 2142 33554432000 4194304 7499544 140732342859248 140732342856248 140294921538533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 8518 2142 689 807 0 1509 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 34072 KiB Current children cumulated memory: 8568 KiB [startup+0.309595 s]* /proc/loadavg: 1.92 1.67 0.91 2/188 9962 /proc/meminfo: memFree=24178108/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=36704 memory=11104 CPUtime=0.31 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 2979 0 0 0 31 0 0 0 20 0 1 0 287514591 37584896 2776 33554432000 4194304 7499544 140732342859248 140732342856248 140294921538533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 9176 2776 689 807 0 2167 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 36704 KiB Current children cumulated memory: 11104 KiB [startup+0.700393 s] /proc/loadavg: 1.92 1.67 0.91 3/185 9984 /proc/meminfo: memFree=24174020/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=45828 memory=20636 CPUtime=0.69 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 5377 0 0 0 68 1 0 0 20 0 1 0 287514591 46927872 5159 33554432000 4194304 7499544 140732342859248 140732342856248 4404898 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 11457 5159 749 807 0 4448 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 45828 KiB Current children cumulated memory: 20636 KiB [startup+1.50034 s] /proc/loadavg: 1.92 1.67 0.91 3/191 9994 /proc/meminfo: memFree=24164772/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=45828 memory=20636 CPUtime=1.49 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 5383 0 0 0 148 1 0 0 20 0 1 0 287514591 46927872 5159 33554432000 4194304 7499544 140732342859248 140732342853608 4251514 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 11457 5159 749 807 0 4448 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 45828 KiB Current children cumulated memory: 20636 KiB [startup+3.10935 s] /proc/loadavg: 1.92 1.67 0.91 3/191 9994 /proc/meminfo: memFree=24164572/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=45964 memory=20728 CPUtime=3.1 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 9432 0 0 0 309 1 0 0 20 0 1 0 287514591 47067136 5182 33554432000 4194304 7499544 140732342859248 140732342853608 140294921586432 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 11491 5182 749 807 0 4482 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 45964 KiB Current children cumulated memory: 20728 KiB [startup+6.30033 s] /proc/loadavg: 1.93 1.68 0.91 3/191 9994 /proc/meminfo: memFree=24164280/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=45964 memory=20796 CPUtime=6.29 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 13438 0 0 0 628 1 0 0 20 0 1 0 287514591 47067136 5199 33554432000 4194304 7499544 140732342859248 140732342853608 5771753 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 11491 5199 749 807 0 4482 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 45964 KiB Current children cumulated memory: 20796 KiB [startup+12.7003 s] /proc/loadavg: 1.93 1.68 0.92 3/191 9994 /proc/meminfo: memFree=24163024/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=45964 memory=20872 CPUtime=12.68 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 17505 0 0 0 1267 1 0 0 20 0 1 0 287514591 47067136 5218 33554432000 4194304 7499544 140732342859248 140732342853608 4405034 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 11491 5218 749 807 0 4482 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 45964 KiB Current children cumulated memory: 20872 KiB [startup+25.5002 s] /proc/loadavg: 2.17 1.75 0.95 3/191 9994 /proc/meminfo: memFree=24163904/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=46100 memory=20924 CPUtime=25.48 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 18588 0 0 0 2547 1 0 0 20 0 1 0 287514591 47206400 5231 33554432000 4194304 7499544 140732342859248 140732342853608 4545459 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 11525 5231 749 807 0 4516 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 46100 KiB Current children cumulated memory: 20924 KiB [startup+51.1091 s] /proc/loadavg: 2.45 1.85 1.01 3/191 9994 /proc/meminfo: memFree=24164220/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=46100 memory=20924 CPUtime=51.09 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 19049 0 0 0 5108 1 0 0 20 0 1 0 287514591 47206400 5231 33554432000 4194304 7499544 140732342859248 140732342853608 4405080 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 11525 5231 749 807 0 4516 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 46100 KiB Current children cumulated memory: 20924 KiB [startup+102.3 s] /proc/loadavg: 2.20 1.87 1.06 3/190 9995 /proc/meminfo: memFree=24163672/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=46100 memory=21020 CPUtime=102.28 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 19250 0 0 0 10227 1 0 0 20 0 1 0 287514591 47206400 5255 33554432000 4194304 7499544 140732342859248 140732342853608 4579850 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 11525 5255 749 807 0 4516 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 46100 KiB Current children cumulated memory: 21020 KiB [startup+162.3 s] /proc/loadavg: 2.07 1.89 1.12 3/190 9996 /proc/meminfo: memFree=24163180/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=46100 memory=21020 CPUtime=162.27 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 19379 0 0 0 16226 1 0 0 20 0 1 0 287514591 47206400 5255 33554432000 4194304 7499544 140732342859248 140732342853608 5771056 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 11525 5255 749 807 0 4516 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 46100 KiB Current children cumulated memory: 21020 KiB [startup+222.3 s] /proc/loadavg: 2.03 1.91 1.17 3/191 9999 /proc/meminfo: memFree=24163176/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=46100 memory=21020 CPUtime=222.26 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 19508 0 0 0 22225 1 0 0 20 0 1 0 287514591 47206400 5255 33554432000 4194304 7499544 140732342859248 140732342853608 5770124 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 11525 5255 749 807 0 4516 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 46100 KiB Current children cumulated memory: 21020 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.02 1.92 1.20 3/191 10000 /proc/meminfo: memFree=24162664/32770624 swapFree=67108852/67108860 [pid=9961] ppid=9958 vsize=46100 memory=21020 CPUtime=251.97 cores=0,2,4,6 /proc/9961/stat : 9961 (MistralXCSP) R 9958 9961 9666 0 -1 4202496 19606 0 0 0 25196 1 0 0 20 0 1 0 287514591 47206400 5255 33554432000 4194304 7499544 140732342859248 140732342853608 4405034 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 30777344 140732342867058 140732342867208 140732342867208 140732342869961 0 /proc/9961/statm: 11525 5255 749 807 0 4516 0 Current children cumulated CPU time: 251.97 s Current children cumulated vsize: 46100 KiB Current children cumulated memory: 21020 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 9961 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.967 s, system=0.014998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 252.01 CPU time (s): 251.982 CPU user time (s): 251.967 CPU system time (s): 0.014998 CPU usage (%): 99.9888 Max. virtual memory (cumulated for all children) (KiB): 46100 Max. memory (cumulated for all children) (KiB): 21020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.967 system time used= 0.014998 maximum resident set size= 21040 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19656 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= 16 involuntary context switches= 268 # summary of solver processes directly reported to runsolver: # pid: 9961 # total CPU time (s): 251.982 # total CPU user time (s): 251.967 # total CPU system time (s): 0.014998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.866898 second user time and 1.72645 second system time The end
Begin job on node133 at 2018-08-19 19:25:14 IDJOB=4312557 IDBENCH=141222 IDSOLVER=2801 FILE ID=node133/4312557-1534699514 RUNJOBID= node133-1534699008-9697 PBS_JOBID= 21038720 Free space on /tmp= 55212 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/SumColoring/SumColoring-1-fullins-5_c18.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-4312557-1534699514/watcher-4312557-1534699514 -o /tmp/evaluation-result-4312557-1534699514/solver-4312557-1534699514 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534699008-9697 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1850174714 HOME/instance-4312557-1534699514.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ee128878a96f2bf381e98278be1f86f4 RANDOM SEED=1850174714 node133.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.24 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.24 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.24 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.24 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: 24154280 kB MemAvailable: 31875980 kB Buffers: 214792 kB Cached: 7797192 kB SwapCached: 4 kB Active: 4562344 kB Inactive: 3535088 kB Active(anon): 65832 kB Inactive(anon): 88472 kB Active(file): 4496512 kB Inactive(file): 3446616 kB Unevictable: 7068 kB Mlocked: 7068 kB SwapTotal: 67108860 kB SwapFree: 67108852 kB Dirty: 5988 kB Writeback: 0 kB AnonPages: 86752 kB Mapped: 32188 kB Shmem: 66200 kB Slab: 217352 kB SReclaimable: 188812 kB SUnreclaim: 28540 kB KernelStack: 3632 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1320224 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 55204 MiB End job on node133 at 2018-08-19 19:29:27