Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | ? | 882.597 | 882.923 |
Name | StripPacking/StripPacking-m1-seriesT/ StripPacking-T5c.xml |
MD5SUM | 3657d2b4866232829f5e159967af0f72 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 365 |
Number of constraints | 220 |
Number of domains | 75 |
Minimum domain size | 1 |
Maximum domain size | 200 |
Distribution of domain sizes | [{"size":1,"count":6},{"size":2,"count":213},{"size":200,"count":146}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":73},{"degree":2,"count":146},{"degree":3,"count":146}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 292 |
Distribution of constraint arities | [{"arity":2,"count":146},{"arity":3,"count":73},{"arity":292,"count":1}] |
Number of extensional constraints | 73 |
Number of intensional constraints | 146 |
Distribution of constraint types | [{"type":"extension","count":73},{"type":"intension","count":146},{"type":"noOverlap","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c 0.00/0.01 c This is cosoco 2.00 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -model -nbcores=8 HOME/instance-4409477-1569818186.xml 0.00/0.01 c intension le(add(w[0],x[0]),200) -> extension (support ? 0) - 132tuples 0.00/0.01 c intension le(add(w[1],x[1]),200) -> extension (support ? 0) - 63tuples 0.00/0.01 c intension le(add(w[2],x[2]),200) -> extension (support ? 0) - 84tuples 0.00/0.01 c intension le(add(w[3],x[3]),200) -> extension (support ? 0) - 45tuples 0.00/0.01 c intension le(add(w[4],x[4]),200) -> extension (support ? 0) - 47tuples 0.00/0.01 c intension le(add(w[5],x[5]),200) -> extension (support ? 0) - 60tuples 0.00/0.01 c intension le(add(w[6],x[6]),200) -> extension (support ? 0) - 44tuples 0.00/0.01 c intension le(add(w[7],x[7]),200) -> extension (support ? 0) - 81tuples 0.00/0.02 c intension le(add(w[8],x[8]),200) -> extension (support ? 0) - 46tuples 0.00/0.02 c intension le(add(w[9],x[9]),200) -> extension (support ? 0) - 66tuples 0.00/0.02 c intension le(add(w[10],x[10]),200) -> extension (support ? 0) - 8tuples 0.00/0.02 c intension le(add(w[11],x[11]),200) -> extension (support ? 0) - 83tuples 0.00/0.02 c intension le(add(w[12],x[12]),200) -> extension (support ? 0) - 23tuples 0.00/0.02 c intension le(add(w[13],x[13]),200) -> extension (support ? 0) - 39tuples 0.00/0.02 c intension le(add(w[14],x[14]),200) -> extension (support ? 0) - 53tuples 0.00/0.02 c intension le(add(w[15],x[15]),200) -> extension (support ? 0) - 12tuples 0.00/0.02 c intension le(add(w[16],x[16]),200) -> extension (support ? 0) - 55tuples 0.00/0.02 c intension le(add(w[17],x[17]),200) -> extension (support ? 0) - 51tuples 0.00/0.02 c intension le(add(w[18],x[18]),200) -> extension (support ? 0) - 116tuples 0.00/0.02 c intension le(add(w[19],x[19]),200) -> extension (support ? 0) - 22tuples 0.00/0.03 c intension le(add(w[20],x[20]),200) -> extension (support ? 0) - 35tuples 0.00/0.03 c intension le(add(w[21],x[21]),200) -> extension (support ? 0) - 81tuples 0.00/0.03 c intension le(add(w[22],x[22]),200) -> extension (support ? 0) - 6tuples 0.00/0.03 c intension le(add(w[23],x[23]),200) -> extension (support ? 0) - 74tuples 0.00/0.03 c intension le(add(w[24],x[24]),200) -> extension (support ? 0) - 65tuples 0.00/0.03 c intension le(add(w[25],x[25]),200) -> extension (support ? 0) - 55tuples 0.00/0.03 c intension le(add(w[26],x[26]),200) -> extension (support ? 0) - 93tuples 0.00/0.03 c intension le(add(w[27],x[27]),200) -> extension (support ? 0) - 10tuples 0.00/0.03 c intension le(add(w[28],x[28]),200) -> extension (support ? 0) - 12tuples 0.00/0.03 c intension le(add(w[29],x[29]),200) -> extension (support ? 0) - 34tuples 0.00/0.03 c intension le(add(w[30],x[30]),200) -> extension (support ? 0) - 11tuples 0.00/0.03 c intension le(add(w[31],x[31]),200) -> extension (support ? 0) - 11tuples 0.00/0.04 c intension le(add(w[32],x[32]),200) -> extension (support ? 0) - 25tuples 0.00/0.04 c intension le(add(w[33],x[33]),200) -> extension (support ? 0) - 49tuples 0.00/0.04 c intension le(add(w[34],x[34]),200) -> extension (support ? 0) - 15tuples 0.00/0.04 c intension le(add(w[35],x[35]),200) -> extension (support ? 0) - 71tuples 0.00/0.04 c intension le(add(w[36],x[36]),200) -> extension (support ? 0) - 64tuples 0.00/0.04 c intension le(add(w[37],x[37]),200) -> extension (support ? 0) - 23tuples 0.00/0.04 c intension le(add(w[38],x[38]),200) -> extension (support ? 0) - 46tuples 0.00/0.04 c intension le(add(w[39],x[39]),200) -> extension (support ? 0) - 44tuples 0.00/0.04 c intension le(add(w[40],x[40]),200) -> extension (support ? 0) - 46tuples 0.00/0.04 c intension le(add(w[41],x[41]),200) -> extension (support ? 0) - 72tuples 0.00/0.04 c intension le(add(w[42],x[42]),200) -> extension (support ? 0) - 37tuples 0.00/0.04 c intension le(add(w[43],x[43]),200) -> extension (support ? 0) - 93tuples 0.00/0.05 c intension le(add(w[44],x[44]),200) -> extension (support ? 0) - 66tuples 0.00/0.05 c intension le(add(w[45],x[45]),200) -> extension (support ? 0) - 86tuples 0.00/0.05 c intension le(add(w[46],x[46]),200) -> extension (support ? 0) - 10tuples 0.00/0.05 c intension le(add(w[47],x[47]),200) -> extension (support ? 0) - 23tuples 0.00/0.05 c intension le(add(w[48],x[48]),200) -> extension (support ? 0) - 44tuples 0.00/0.05 c intension le(add(w[49],x[49]),200) -> extension (support ? 0) - 42tuples 0.00/0.05 c intension le(add(w[50],x[50]),200) -> extension (support ? 0) - 27tuples 0.00/0.05 c intension le(add(w[51],x[51]),200) -> extension (support ? 0) - 58tuples 0.00/0.05 c intension le(add(w[52],x[52]),200) -> extension (support ? 0) - 41tuples 0.00/0.05 c intension le(add(w[53],x[53]),200) -> extension (support ? 0) - 47tuples 0.00/0.05 c intension le(add(w[54],x[54]),200) -> extension (support ? 0) - 5tuples 0.00/0.05 c intension le(add(w[55],x[55]),200) -> extension (support ? 0) - 7tuples 0.00/0.06 c intension le(add(w[56],x[56]),200) -> extension (support ? 0) - 37tuples 0.00/0.06 c intension le(add(w[57],x[57]),200) -> extension (support ? 0) - 35tuples 0.00/0.06 c intension le(add(w[58],x[58]),200) -> extension (support ? 0) - 20tuples 0.00/0.06 c intension le(add(w[59],x[59]),200) -> extension (support ? 0) - 3tuples 0.00/0.06 c intension le(add(w[60],x[60]),200) -> extension (support ? 0) - 14tuples 0.00/0.06 c intension le(add(w[61],x[61]),200) -> extension (support ? 0) - 43tuples 0.00/0.06 c intension le(add(w[62],x[62]),200) -> extension (support ? 0) - 77tuples 0.00/0.06 c intension le(add(w[63],x[63]),200) -> extension (support ? 0) - 17tuples 0.00/0.06 c intension le(add(w[64],x[64]),200) -> extension (support ? 0) - 32tuples 0.00/0.06 c intension le(add(w[65],x[65]),200) -> extension (support ? 0) - 61tuples 0.00/0.06 c intension le(add(w[66],x[66]),200) -> extension (support ? 0) - 31tuples 0.00/0.06 c intension le(add(w[67],x[67]),200) -> extension (support ? 0) - 15tuples 0.00/0.06 c intension le(add(w[68],x[68]),200) -> extension (support ? 0) - 12tuples 0.00/0.07 c intension le(add(w[69],x[69]),200) -> extension (support ? 0) - 11tuples 0.00/0.07 c intension le(add(w[70],x[70]),200) -> extension (support ? 0) - 26tuples 0.00/0.07 c intension le(add(w[71],x[71]),200) -> extension (support ? 0) - 55tuples 0.00/0.07 c intension le(add(w[72],x[72]),200) -> extension (support ? 0) - 35tuples 0.00/0.07 c intension le(add(h[0],y[0]),200) -> extension (support ? 0) - 132tuples 0.00/0.07 c intension le(add(h[1],y[1]),200) -> extension (support ? 0) - 63tuples 0.00/0.07 c intension le(add(h[2],y[2]),200) -> extension (support ? 0) - 84tuples 0.00/0.07 c intension le(add(h[3],y[3]),200) -> extension (support ? 0) - 45tuples 0.00/0.07 c intension le(add(h[4],y[4]),200) -> extension (support ? 0) - 47tuples 0.00/0.07 c intension le(add(h[5],y[5]),200) -> extension (support ? 0) - 60tuples 0.00/0.08 c intension le(add(h[6],y[6]),200) -> extension (support ? 0) - 44tuples 0.00/0.08 c intension le(add(h[7],y[7]),200) -> extension (support ? 0) - 81tuples 0.00/0.08 c intension le(add(h[8],y[8]),200) -> extension (support ? 0) - 46tuples 0.00/0.08 c intension le(add(h[9],y[9]),200) -> extension (support ? 0) - 66tuples 0.00/0.08 c intension le(add(h[10],y[10]),200) -> extension (support ? 0) - 8tuples 0.00/0.08 c intension le(add(h[11],y[11]),200) -> extension (support ? 0) - 83tuples 0.00/0.08 c intension le(add(h[12],y[12]),200) -> extension (support ? 0) - 23tuples 0.00/0.08 c intension le(add(h[13],y[13]),200) -> extension (support ? 0) - 39tuples 0.00/0.08 c intension le(add(h[14],y[14]),200) -> extension (support ? 0) - 53tuples 0.00/0.08 c intension le(add(h[15],y[15]),200) -> extension (support ? 0) - 12tuples 0.00/0.08 c intension le(add(h[16],y[16]),200) -> extension (support ? 0) - 55tuples 0.00/0.08 c intension le(add(h[17],y[17]),200) -> extension (support ? 0) - 51tuples 0.00/0.09 c intension le(add(h[18],y[18]),200) -> extension (support ? 0) - 116tuples 0.00/0.09 c intension le(add(h[19],y[19]),200) -> extension (support ? 0) - 22tuples 0.00/0.09 c intension le(add(h[20],y[20]),200) -> extension (support ? 0) - 35tuples 0.00/0.09 c intension le(add(h[21],y[21]),200) -> extension (support ? 0) - 81tuples 0.00/0.09 c intension le(add(h[22],y[22]),200) -> extension (support ? 0) - 6tuples 0.00/0.09 c intension le(add(h[23],y[23]),200) -> extension (support ? 0) - 74tuples 0.00/0.09 c intension le(add(h[24],y[24]),200) -> extension (support ? 0) - 65tuples 0.00/0.09 c intension le(add(h[25],y[25]),200) -> extension (support ? 0) - 55tuples 0.00/0.09 c intension le(add(h[26],y[26]),200) -> extension (support ? 0) - 93tuples 0.00/0.09 c intension le(add(h[27],y[27]),200) -> extension (support ? 0) - 10tuples 0.00/0.09 c intension le(add(h[28],y[28]),200) -> extension (support ? 0) - 12tuples 0.00/0.09 c intension le(add(h[29],y[29]),200) -> extension (support ? 0) - 34tuples 0.00/0.10 c intension le(add(h[30],y[30]),200) -> extension (support ? 0) - 11tuples 0.00/0.10 c intension le(add(h[31],y[31]),200) -> extension (support ? 0) - 11tuples 0.00/0.10 c intension le(add(h[32],y[32]),200) -> extension (support ? 0) - 25tuples 0.00/0.10 c intension le(add(h[33],y[33]),200) -> extension (support ? 0) - 49tuples 0.00/0.10 c intension le(add(h[34],y[34]),200) -> extension (support ? 0) - 15tuples 0.00/0.10 c intension le(add(h[35],y[35]),200) -> extension (support ? 0) - 71tuples 0.00/0.10 c intension le(add(h[36],y[36]),200) -> extension (support ? 0) - 64tuples 0.00/0.10 c intension le(add(h[37],y[37]),200) -> extension (support ? 0) - 23tuples 0.00/0.10 c intension le(add(h[38],y[38]),200) -> extension (support ? 0) - 46tuples 0.00/0.10 c intension le(add(h[39],y[39]),200) -> extension (support ? 0) - 44tuples 0.00/0.10 c intension le(add(h[40],y[40]),200) -> extension (support ? 0) - 46tuples 0.10/0.10 c intension le(add(h[41],y[41]),200) -> extension (support ? 0) - 72tuples 0.10/0.11 c intension le(add(h[42],y[42]),200) -> extension (support ? 0) - 37tuples 0.10/0.11 c intension le(add(h[43],y[43]),200) -> extension (support ? 0) - 93tuples 0.10/0.11 c intension le(add(h[44],y[44]),200) -> extension (support ? 0) - 66tuples 0.10/0.11 c intension le(add(h[45],y[45]),200) -> extension (support ? 0) - 86tuples 0.10/0.11 c intension le(add(h[46],y[46]),200) -> extension (support ? 0) - 10tuples 0.10/0.11 c intension le(add(h[47],y[47]),200) -> extension (support ? 0) - 23tuples 0.10/0.11 c intension le(add(h[48],y[48]),200) -> extension (support ? 0) - 44tuples 0.10/0.11 c intension le(add(h[49],y[49]),200) -> extension (support ? 0) - 42tuples 0.10/0.11 c intension le(add(h[50],y[50]),200) -> extension (support ? 0) - 27tuples 0.10/0.11 c intension le(add(h[51],y[51]),200) -> extension (support ? 0) - 58tuples 0.10/0.11 c intension le(add(h[52],y[52]),200) -> extension (support ? 0) - 41tuples 0.10/0.11 c intension le(add(h[53],y[53]),200) -> extension (support ? 0) - 47tuples 0.10/0.12 c intension le(add(h[54],y[54]),200) -> extension (support ? 0) - 5tuples 0.10/0.12 c intension le(add(h[55],y[55]),200) -> extension (support ? 0) - 7tuples 0.10/0.12 c intension le(add(h[56],y[56]),200) -> extension (support ? 0) - 37tuples 0.10/0.12 c intension le(add(h[57],y[57]),200) -> extension (support ? 0) - 35tuples 0.10/0.12 c intension le(add(h[58],y[58]),200) -> extension (support ? 0) - 20tuples 0.10/0.12 c intension le(add(h[59],y[59]),200) -> extension (support ? 0) - 3tuples 0.10/0.12 c intension le(add(h[60],y[60]),200) -> extension (support ? 0) - 14tuples 0.10/0.12 c intension le(add(h[61],y[61]),200) -> extension (support ? 0) - 43tuples 0.10/0.12 c intension le(add(h[62],y[62]),200) -> extension (support ? 0) - 77tuples 0.10/0.12 c intension le(add(h[63],y[63]),200) -> extension (support ? 0) - 17tuples 0.10/0.12 c intension le(add(h[64],y[64]),200) -> extension (support ? 0) - 32tuples 0.10/0.12 c intension le(add(h[65],y[65]),200) -> extension (support ? 0) - 61tuples 0.10/0.13 c intension le(add(h[66],y[66]),200) -> extension (support ? 0) - 31tuples 0.10/0.13 c intension le(add(h[67],y[67]),200) -> extension (support ? 0) - 15tuples 0.10/0.13 c intension le(add(h[68],y[68]),200) -> extension (support ? 0) - 12tuples 0.10/0.13 c intension le(add(h[69],y[69]),200) -> extension (support ? 0) - 11tuples 0.10/0.13 c intension le(add(h[70],y[70]),200) -> extension (support ? 0) - 26tuples 0.10/0.13 c intension le(add(h[71],y[71]),200) -> extension (support ? 0) - 55tuples 0.10/0.13 c intension le(add(h[72],y[72]),200) -> extension (support ? 0) - 35tuples 881.17/881.51 c ========================================================================================================= 881.17/881.51 s UNKNOWN
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 (15202 MiB free) memory of node 1: 16384 MiB (15050 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409477-1569818186/watcher-4409477-1569818186 -o /tmp/evaluation-result-4409477-1569818186/solver-4409477-1569818186 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569818144-9348 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409477-1569818186.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=9365, runsolver pid=9362 Current StackSize limit: 8192 KiB [startup+0.100186 s]* /proc/loadavg: 1.11 1.65 1.91 2/191 9366 /proc/meminfo: memFree=30966412/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=40824 memory=17184 CPUtime=0.1 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 4469 0 0 0 9 1 0 0 20 0 1 0 557756861 41803776 4296 33554432000 4194304 6211132 140725321462944 140725321459480 140027442531301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 10206 4296 825 493 0 3511 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 40824 KiB Current children cumulated memory: 17184 KiB [startup+0.208985 s]* /proc/loadavg: 1.11 1.65 1.91 2/191 9366 /proc/meminfo: memFree=30959716/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=46948 memory=23272 CPUtime=0.21 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 5985 0 0 0 20 1 0 0 20 0 1 0 557756861 48074752 5818 33554432000 4194304 6211132 140725321462944 140725321459480 140027442531301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 11737 5818 839 493 0 5042 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 46948 KiB Current children cumulated memory: 23272 KiB [startup+0.308606 s]* /proc/loadavg: 1.11 1.65 1.91 2/191 9366 /proc/meminfo: memFree=30957484/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=49164 memory=25340 CPUtime=0.31 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 6510 0 0 0 30 1 0 0 20 0 1 0 557756861 50343936 6335 33554432000 4194304 6211132 140725321462944 140725321459480 140027442531301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 12291 6335 839 493 0 5596 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 49164 KiB Current children cumulated memory: 25340 KiB [startup+0.700324 s] /proc/loadavg: 1.11 1.65 1.91 2/191 9366 /proc/meminfo: memFree=30953392/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=57036 memory=33148 CPUtime=0.69 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 8456 0 0 0 68 1 0 0 20 0 1 0 557756861 58404864 8287 33554432000 4194304 6211132 140725321462944 140725321459480 5456342 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 14259 8287 839 493 0 7564 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 57036 KiB Current children cumulated memory: 33148 KiB [startup+1.50033 s] /proc/loadavg: 1.11 1.65 1.91 2/191 9366 /proc/meminfo: memFree=30942976/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=73312 memory=49376 CPUtime=1.49 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 12556 0 0 0 148 1 0 0 20 0 1 0 557756861 75071488 12344 33554432000 4194304 6211132 140725321462944 140725321456088 5455685 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 18328 12344 839 493 0 11633 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 73312 KiB Current children cumulated memory: 49376 KiB [startup+3.10847 s] /proc/loadavg: 1.10 1.64 1.90 2/191 9366 /proc/meminfo: memFree=30901968/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=106996 memory=82960 CPUtime=3.1 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 20454 0 0 0 308 2 0 0 20 0 1 0 557756861 109563904 20740 33554432000 4194304 6211132 140725321462944 140725321456088 140027442531301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 26749 20740 839 493 0 20054 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 106996 KiB Current children cumulated memory: 82960 KiB [startup+6.30033 s] /proc/loadavg: 1.10 1.64 1.90 2/191 9366 /proc/meminfo: memFree=30838112/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=176484 memory=149500 CPUtime=6.29 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 34044 0 0 0 625 4 0 0 20 0 1 0 557756861 180719616 37375 33554432000 4194304 6211132 140725321462944 140725321456088 5452255 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 44121 37375 839 493 0 37426 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 176484 KiB Current children cumulated memory: 149500 KiB [startup+12.7003 s] /proc/loadavg: 1.08 1.61 1.89 2/191 9366 /proc/meminfo: memFree=30714616/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=320656 memory=280780 CPUtime=12.69 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 60285 0 0 0 1261 8 0 0 20 0 1 0 557756861 328351744 70195 33554432000 4194304 6211132 140725321462944 140725321456088 140027442531301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 80164 70195 839 493 0 73469 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 320656 KiB Current children cumulated memory: 280780 KiB [startup+25.5003 s] /proc/loadavg: 1.07 1.59 1.88 2/191 9369 /proc/meminfo: memFree=30342728/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=742096 memory=665704 CPUtime=25.49 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 134525 0 0 0 2530 19 0 0 20 0 1 0 557756861 759906304 166426 33554432000 4194304 6211132 140725321462944 140725321456088 140027442531301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 185524 166426 839 493 0 178829 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 742096 KiB Current children cumulated memory: 665704 KiB [startup+51.1086 s] /proc/loadavg: 1.05 1.55 1.86 2/191 9369 /proc/meminfo: memFree=29004756/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=2123000 memory=1980532 CPUtime=51.1 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 382567 0 0 0 5056 54 0 0 20 0 1 0 557756861 2173952000 495133 33554432000 4194304 6211132 140725321462944 140725321456088 140027442531301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 530750 495133 839 493 0 524055 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 2123000 KiB Current children cumulated memory: 1980532 KiB [startup+102.3 s] /proc/loadavg: 1.02 1.45 1.81 2/191 9372 /proc/meminfo: memFree=26721412/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=4556784 memory=4259736 CPUtime=102.28 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 811818 0 0 0 10112 116 0 0 20 0 1 0 557756861 4666146816 1064934 33554432000 4194304 6211132 140725321462944 140725321456088 140027442531301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 1139196 1064934 839 493 0 1132501 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 4556784 KiB Current children cumulated memory: 4259736 KiB [startup+162.3 s] /proc/loadavg: 1.04 1.39 1.76 2/191 9377 /proc/meminfo: memFree=25484712/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=5656896 memory=5492104 CPUtime=162.26 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 1044760 0 0 0 16079 147 0 0 20 0 1 0 557756861 5792661504 1373026 33554432000 4194304 6211132 140725321462944 140725321456088 5443144 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 1414224 1373026 839 493 0 1407529 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 5656896 KiB Current children cumulated memory: 5492104 KiB [startup+222.3 s] /proc/loadavg: 1.02 1.32 1.72 2/191 9380 /proc/meminfo: memFree=23567828/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=7855912 memory=7417472 CPUtime=222.23 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 1407081 0 0 0 22024 199 0 0 20 0 1 0 557756861 8044453888 1854368 33554432000 4194304 6211132 140725321462944 140725321456088 5446292 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 1963978 1854368 839 493 0 1957283 0 Current children cumulated CPU time: 222.23 s Current children cumulated vsize: 7855912 KiB Current children cumulated memory: 7417472 KiB [startup+282.3 s] /proc/loadavg: 1.01 1.26 1.67 2/191 9390 /proc/meminfo: memFree=21171284/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=10596664 memory=9809588 CPUtime=282.21 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 1856438 0 0 0 27954 267 0 0 20 0 1 0 557756861 10850983936 2452397 33554432000 4194304 6211132 140725321462944 140725321456088 5013020 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 2649166 2452397 839 493 0 2642471 0 Current children cumulated CPU time: 282.21 s Current children cumulated vsize: 10596664 KiB Current children cumulated memory: 9809588 KiB [startup+342.3 s] /proc/loadavg: 1.00 1.21 1.63 3/191 9395 /proc/meminfo: memFree=18596432/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=12517264 memory=12371408 CPUtime=342.18 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 2336937 0 0 0 33877 341 0 0 20 0 1 0 557756861 12817678336 3092852 33554432000 4194304 6211132 140725321462944 140725321456088 5451532 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 3129316 3092852 839 493 0 3122621 0 Current children cumulated CPU time: 342.18 s Current children cumulated vsize: 12517264 KiB Current children cumulated memory: 12371408 KiB [startup+402.3 s] /proc/loadavg: 1.00 1.17 1.59 2/191 9398 /proc/meminfo: memFree=17362560/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=15046380 memory=13603892 CPUtime=402.16 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 2569025 0 0 0 39833 383 0 0 20 0 1 0 557756861 15407493120 3400973 33554432000 4194304 6211132 140725321462944 140725321456088 5013011 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 3761595 3400973 839 493 0 3754900 0 Current children cumulated CPU time: 402.16 s Current children cumulated vsize: 15046380 KiB Current children cumulated memory: 13603892 KiB [startup+462.3 s] /proc/loadavg: 1.00 1.14 1.55 2/191 9401 /proc/meminfo: memFree=15309228/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=16588140 memory=15657704 CPUtime=462.14 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 2954774 0 0 0 45765 449 0 0 20 0 1 0 557756861 16986255360 3914426 33554432000 4194304 6211132 140725321462944 140725321456088 140027442531301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 4147035 3914426 839 493 0 4140340 0 Current children cumulated CPU time: 462.14 s Current children cumulated vsize: 16588140 KiB Current children cumulated memory: 15657704 KiB [startup+522.3 s] /proc/loadavg: 1.00 1.12 1.52 2/191 9406 /proc/meminfo: memFree=12960460/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=18627584 memory=18003776 CPUtime=522.12 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 3395228 0 0 0 51666 546 0 0 20 0 1 0 557756861 19074646016 4500944 33554432000 4194304 6211132 140725321462944 140725321456088 5443128 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 4656929 4500944 839 493 0 4650234 0 Current children cumulated CPU time: 522.12 s Current children cumulated vsize: 18627584 KiB Current children cumulated memory: 18003776 KiB [startup+582.3 s] /proc/loadavg: 1.00 1.10 1.49 2/191 9409 /proc/meminfo: memFree=10509024/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=22583244 memory=20438784 CPUtime=582.09 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 3852779 0 0 0 57553 656 0 0 20 0 1 0 557756861 23125241856 5109696 33554432000 4194304 6211132 140725321462944 140725321456088 140027443454863 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 5645811 5109696 839 493 0 5639116 0 Current children cumulated CPU time: 582.09 s Current children cumulated vsize: 22583244 KiB Current children cumulated memory: 20438784 KiB [startup+642.3 s] /proc/loadavg: 1.05 1.09 1.46 2/191 9412 /proc/meminfo: memFree=9281832/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=23503284 memory=21666136 CPUtime=642.06 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 4083036 0 0 0 63491 715 0 0 20 0 1 0 557756861 24067362816 5416534 33554432000 4194304 6211132 140725321462944 140725321456088 140027443457450 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 5875821 5416534 839 493 0 5869126 0 Current children cumulated CPU time: 642.06 s Current children cumulated vsize: 23503284 KiB Current children cumulated memory: 21666136 KiB [startup+702.3 s] /proc/loadavg: 1.02 1.08 1.43 2/191 9417 /proc/meminfo: memFree=7179276/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=25082400 memory=23773524 CPUtime=702.04 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 4478125 0 0 0 69391 813 0 0 20 0 1 0 557756861 25684377600 5943381 33554432000 4194304 6211132 140725321462944 140725321456088 140027442531301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 6270600 5943381 839 493 0 6263905 0 Current children cumulated CPU time: 702.04 s Current children cumulated vsize: 25082400 KiB Current children cumulated memory: 23773524 KiB [startup+762.3 s] /proc/loadavg: 1.01 1.06 1.40 2/191 9420 /proc/meminfo: memFree=4864672/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=27235192 memory=26081308 CPUtime=762.01 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 4912092 0 0 0 75282 919 0 0 20 0 1 0 557756861 27888836608 6520327 33554432000 4194304 6211132 140725321462944 140725321456088 5443128 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 6808798 6520327 839 493 0 6802103 0 Current children cumulated CPU time: 762.01 s Current children cumulated vsize: 27235192 KiB Current children cumulated memory: 26081308 KiB [startup+822.3 s] /proc/loadavg: 1.00 1.05 1.38 2/191 9423 /proc/meminfo: memFree=2464268/32770624 swapFree=66997268/67108860 [pid=9365] ppid=9362 vsize=29026828 memory=28468868 CPUtime=821.99 cores=0-7 /proc/9365/stat : 9365 (cosoco) R 9362 9365 9321 0 -1 4202496 5360376 0 0 0 81169 1030 0 0 20 0 1 0 557756861 29723471872 7117217 33554432000 4194304 6211132 140725321462944 140725321456088 140027443457444 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35512320 140725321466897 140725321466989 140725321466989 140725321469902 0 /proc/9365/statm: 7256707 7117217 839 493 0 7250012 0 Current children cumulated CPU time: 821.99 s Current children cumulated vsize: 29026828 KiB Current children cumulated memory: 28468868 KiB [startup+882.3 s] /proc/loadavg: 1.00 1.04 1.36 2/192 9436 /proc/meminfo: memFree=12415436/32770624 swapFree=66997268/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB heavy processes: [startup+882.923 s] # the end of solver process 9365 was just reported to runsolver # cumulated CPU time of all completed processes: user=869.494 s, system=13.1034 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+882.409 s] /proc/loadavg: 1.00 1.04 1.36 2/192 9436 /proc/meminfo: memFree=17448640/32770624 swapFree=66997268/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB [startup+882.8 s] /proc/loadavg: 1.00 1.04 1.36 2/192 9436 /proc/meminfo: memFree=17448640/32770624 swapFree=66997268/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB [startup+882.9 s] /proc/loadavg: 1.00 1.04 1.36 2/192 9436 /proc/meminfo: memFree=17448640/32770624 swapFree=66997268/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 882.923 CPU time (s): 882.597 CPU user time (s): 869.494 CPU system time (s): 13.1034 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 29968052 Max. memory (cumulated for all children) (KiB): 29637516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 869.494 system time used= 13.1034 maximum resident set size= 29637516 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6931632 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= 675 involuntary context switches= 394 # summary of solver processes directly reported to runsolver: # pid: 9365 # total CPU time (s): 882.597 # total CPU user time (s): 869.494 # total CPU system time (s): 13.1034 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.62349 second user time and 6.23943 second system time The end
Begin job on node140 at 2019-09-30 06:35:44 IDJOB=4409477 IDBENCH=120483 IDSOLVER=2877 FILE ID=node140/4409477-1569818186 RUNJOBID= node140-1569818144-9348 PBS_JOBID= 21705927 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T5c.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409477-1569818186/watcher-4409477-1569818186 -o /tmp/evaluation-result-4409477-1569818186/solver-4409477-1569818186 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569818144-9348 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409477-1569818186.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3657d2b4866232829f5e159967af0f72 RANDOM SEED=393655138 node140.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.43 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.43 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.43 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.43 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: 30979436 kB MemAvailable: 31874688 kB Buffers: 112148 kB Cached: 1121008 kB SwapCached: 3040 kB Active: 890360 kB Inactive: 349688 kB Active(anon): 3140 kB Inactive(anon): 83992 kB Active(file): 887220 kB Inactive(file): 265696 kB Unevictable: 107900 kB Mlocked: 107900 kB SwapTotal: 67108860 kB SwapFree: 66997268 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 112948 kB Mapped: 25628 kB Shmem: 71168 kB Slab: 144888 kB SReclaimable: 116344 kB SUnreclaim: 28544 kB KernelStack: 3296 kB PageTables: 5028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538940 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 62028 MiB End job on node140 at 2019-09-30 06:50:27