Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | ? | 34.2415 | 34.247 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml |
MD5SUM | 970c879d9e656f0525c6818b69538b39 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 162507055 |
Best CPU time to get the best result obtained on this benchmark | 68.7953 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4976 |
Number of constraints | 3812 |
Number of domains | 49 |
Minimum domain size | 1 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}] |
Minimum variable degree | 2 |
Maximum variable degree | 1426 |
Distribution of variable degrees | [{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}] |
Number of extensional constraints | 1425 |
Number of intensional constraints | 2387 |
Distribution of constraint types | [{"type":"extension","count":1425},{"type":"intension","count":2387}] |
Optimization problem | YES |
Type of objective | min SUM |
0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.22 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.23 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.26 c AllEqual constraint using 1 generic x=y constraints 0.21/0.27 c AllEqual constraint using 1 generic x=y constraints 0.21/0.27 c AllEqual constraint using 1 generic x=y constraints 0.21/0.27 c AllEqual constraint using 1 generic x=y constraints 34.18/34.21 c best=?? lower=0 upper=243689250 34.18/34.21 cosoco: /home/evaluation/evaluation/priv/XCSP18/test1/xcsp18-28-audemard/competition2017-full/cosoco/core/domain/DomainRange.h:30: virtual int Cosoco::DomainRange::toVal(int): Assertion `idv >= 0 && idv < sparseIdvs.maxSize()' failed. 34.18/34.21 c 34.18/34.21 c This is cosoco 1.12 -- 34.18/34.21 c 34.18/34.21 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301689-1532885587.xml 34.18/34.21 c enable optimization 34.18/34.21 c ========================================[ Problem Statistics ]=========================================== 34.18/34.21 c | 34.18/34.21 c | Parse time : 33.98 s 34.18/34.21 c | 34.18/34.21 c | Variables: 4976 34.18/34.21 c | Domain Sizes: 1..151 34.18/34.21 c | 34.18/34.21 c | Constraints: 3813 34.18/34.21 c | Arity: 2..2851 -- Binary: 962 -- Ternary: 1425 34.18/34.21 c | 34.18/34.21 c | Types: 34.18/34.21 c | (X != Y): 175 34.18/34.21 c | (X = Y): 265 34.18/34.21 c | Extension: 1425 (nb tuples: 140..7204) -- (shared: 0) 34.18/34.21 c | Intension: 1947 34.18/34.21 c | Sum: 1 34.18/34.21 c | 34.18/34.21 c | Objective: Minimize Sum 34.18/34.21 34.18/34.21 c ========================================================================================================= 34.18/34.21 34.18/34.21 c *** INTERRUPTED *** 34.18/34.21 c restarts : 0 34.18/34.21 c conflicts : 0 (0 /sec) 34.18/34.21 c decisions : 0 (0 /sec) 34.18/34.21 c propagations : 75 (2 /sec) 34.18/34.21 c root propagations : 0 34.18/34.21 c filter calls : 11 (0 /sec) 34.18/34.21 c useless filter calls : 0 (0 %) 34.18/34.21 c Memory used : 495.31 MB 34.18/34.21 c CPU time : 33.9815 s 34.18/34.21 34.18/34.21 c No Bound found! 34.18/34.21 34.18/34.21 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 (13475 MiB free) memory of node 1: 16384 MiB (12868 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301689-1532885587/watcher-4301689-1532885587 -o /tmp/evaluation-result-4301689-1532885587/solver-4301689-1532885587 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4870 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301689-1532885587.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 Current StackSize limit: 8192 KiB solver pid=8276, runsolver pid=8273 [startup+0.100118 s]* /proc/loadavg: 2.04 2.09 2.02 3/188 8277 /proc/meminfo: memFree=26955148/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=49596 memory=25888 CPUtime=0.09 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 6659 0 0 0 9 0 0 0 20 0 1 0 106122028 50786304 6472 33554432000 4194304 6142532 140735592236016 140735592231144 139767522393061 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 12399 6472 803 476 0 5721 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 49596 KiB Current children cumulated memory: 25888 KiB [startup+0.209558 s]* /proc/loadavg: 2.04 2.09 2.02 3/188 8277 /proc/meminfo: memFree=26936176/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=68328 memory=44628 CPUtime=0.21 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 11345 0 0 0 20 1 0 0 20 0 1 0 106122028 69967872 11157 33554432000 4194304 6142532 140735592236016 140735592231144 139767522393061 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 17082 11157 803 476 0 10404 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 68328 KiB Current children cumulated memory: 44628 KiB [startup+0.309508 s]* /proc/loadavg: 2.04 2.09 2.02 3/188 8277 /proc/meminfo: memFree=26923528/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=79832 memory=55980 CPUtime=0.31 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 14213 0 0 0 29 2 0 0 20 0 1 0 106122028 81747968 13995 33554432000 4194304 6142532 140735592236016 140735592231144 139767535126496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 19958 13995 807 476 0 13280 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 79832 KiB Current children cumulated memory: 55980 KiB [startup+0.700303 s] /proc/loadavg: 2.04 2.09 2.02 3/188 8277 /proc/meminfo: memFree=26890172/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=147380 memory=123636 CPUtime=0.69 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 31102 0 0 0 64 5 0 0 20 0 1 0 106122028 150917120 30909 33554432000 4194304 6142532 140735592236016 140735592231144 139767525889083 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 36845 30909 807 476 0 30167 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 147380 KiB Current children cumulated memory: 123636 KiB [startup+1.50025 s] /proc/loadavg: 2.04 2.09 2.02 3/188 8277 /proc/meminfo: memFree=26845880/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=161808 memory=137776 CPUtime=1.49 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 34653 0 0 0 144 5 0 0 20 0 1 0 106122028 165691392 34444 33554432000 4194304 6142532 140735592236016 140735592232664 139767522831360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 40452 34444 812 476 0 33774 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 161808 KiB Current children cumulated memory: 137776 KiB [startup+3.10928 s] /proc/loadavg: 2.04 2.09 2.02 3/188 8277 /proc/meminfo: memFree=26828228/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=176380 memory=151860 CPUtime=3.1 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 39095 0 0 0 304 6 0 0 20 0 1 0 106122028 180613120 37965 33554432000 4194304 6142532 140735592236016 140735592232664 5801700 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 44095 37965 812 476 0 37417 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 176380 KiB Current children cumulated memory: 151860 KiB [startup+6.30022 s] /proc/loadavg: 2.04 2.09 2.02 3/188 8277 /proc/meminfo: memFree=26801572/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=206116 memory=180232 CPUtime=6.29 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 47527 0 0 0 622 7 0 0 20 0 1 0 106122028 211062784 45058 33554432000 4194304 6142532 140735592236016 140735592232664 5425085 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 51529 45058 812 476 0 44851 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 206116 KiB Current children cumulated memory: 180232 KiB [startup+12.7002 s] /proc/loadavg: 2.03 2.08 2.02 3/188 8277 /proc/meminfo: memFree=26748112/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=265216 memory=237164 CPUtime=12.69 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 63696 0 0 0 1259 10 0 0 20 0 1 0 106122028 271581184 59291 33554432000 4194304 6142532 140735592236016 140735592232664 5798036 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 66304 59291 812 476 0 59626 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 265216 KiB Current children cumulated memory: 237164 KiB [startup+25.5002 s] /proc/loadavg: 2.03 2.08 2.02 3/188 8277 /proc/meminfo: memFree=26628560/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=382628 memory=350560 CPUtime=25.48 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 95286 0 0 0 2532 16 0 0 20 0 1 0 106122028 391811072 87640 33554432000 4194304 6142532 140735592236016 140735592232664 5802565 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 95657 87640 812 476 0 88979 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 382628 KiB Current children cumulated memory: 350560 KiB [startup+34.247 s] # the end of solver process 8276 was just reported to runsolver # cumulated CPU time of all completed processes: user=33.9816 s, system=0.259954 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.6003 s] /proc/loadavg: 2.03 2.08 2.02 3/188 8277 /proc/meminfo: memFree=26628560/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=383712 memory=351524 CPUtime=25.58 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 95574 0 0 0 2542 16 0 0 20 0 1 0 106122028 392921088 87881 33554432000 4194304 6142532 140735592236016 140735592232664 5798141 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 95928 87881 812 476 0 89250 0 Current children cumulated CPU time: 25.58 s Current children cumulated vsize: 383712 KiB Current children cumulated memory: 351524 KiB [startup+28.8002 s] /proc/loadavg: 2.02 2.08 2.02 3/188 8277 /proc/meminfo: memFree=26601156/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=413040 memory=379624 CPUtime=28.78 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 103159 0 0 0 2860 18 0 0 20 0 1 0 106122028 422952960 94906 33554432000 4194304 6142532 140735592236016 140735592232664 5487967 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 103260 94906 812 476 0 96582 0 Current children cumulated CPU time: 28.78 s Current children cumulated vsize: 413040 KiB Current children cumulated memory: 379624 KiB [startup+32.0002 s]* /proc/loadavg: 2.02 2.08 2.02 3/188 8277 /proc/meminfo: memFree=26558360/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=442528 memory=408052 CPUtime=31.99 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 110721 0 0 0 3180 19 0 0 20 0 1 0 106122028 453148672 102013 33554432000 4194304 6142532 140735592236016 140735592232664 5802381 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 110632 102013 812 476 0 103954 0 Current children cumulated CPU time: 31.99 s Current children cumulated vsize: 442528 KiB Current children cumulated memory: 408052 KiB [startup+33.6002 s] /proc/loadavg: 2.02 2.08 2.02 3/188 8277 /proc/meminfo: memFree=26549556/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=456924 memory=422056 CPUtime=33.58 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 114591 0 0 0 3339 19 0 0 20 0 1 0 106122028 467890176 105514 33554432000 4194304 6142532 140735592236016 140735592232664 5801848 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 114231 105514 812 476 0 107553 0 Current children cumulated CPU time: 33.58 s Current children cumulated vsize: 456924 KiB Current children cumulated memory: 422056 KiB [startup+34.0002 s]* /proc/loadavg: 2.02 2.08 2.02 3/188 8277 /proc/meminfo: memFree=26540256/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=461004 memory=426100 CPUtime=33.99 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 115638 0 0 0 3380 19 0 0 20 0 1 0 106122028 472068096 106525 33554432000 4194304 6142532 140735592236016 140735592232664 5425553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 115251 106525 812 476 0 108573 0 Current children cumulated CPU time: 33.99 s Current children cumulated vsize: 461004 KiB Current children cumulated memory: 426100 KiB [startup+34.2002 s] /proc/loadavg: 2.02 2.08 2.02 3/188 8277 /proc/meminfo: memFree=26540256/32770624 swapFree=67108532/67108860 [pid=8276] ppid=8273 vsize=507188 memory=472444 CPUtime=34.18 cores=0,2,4,6 /proc/8276/stat : 8276 (cosoco) R 8273 8276 4839 0 -1 4202496 147504 0 0 0 3396 22 0 0 20 0 1 0 106122028 519360512 118111 33554432000 4194304 6142532 140735592236016 140735592232664 5024964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33468416 140735592244363 140735592244493 140735592244493 140735592247246 0 /proc/8276/statm: 126797 118111 819 476 0 120119 0 Current children cumulated CPU time: 34.18 s Current children cumulated vsize: 507188 KiB Current children cumulated memory: 472444 KiB Child status: 1 Real time (s): 34.247 CPU time (s): 34.2415 CPU user time (s): 33.9816 CPU system time (s): 0.259954 CPU usage (%): 99.9839 Max. virtual memory (cumulated for all children) (KiB): 507188 Max. memory (cumulated for all children) (KiB): 472444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.9816 system time used= 0.259954 maximum resident set size= 472680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 157446 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= 6 involuntary context switches= 49 # summary of solver processes directly reported to runsolver: # pid: 8276 # total CPU time (s): 34.2415 # total CPU user time (s): 33.9816 # total CPU system time (s): 0.259954 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.151557 second user time and 0.272803 second system time The end
Begin job on node104 at 2018-07-29 19:33:08 IDJOB=4301689 IDBENCH=141273 IDSOLVER=2774 FILE ID=node104/4301689-1532885587 RUNJOBID= node104-1532880243-4870 PBS_JOBID= 21022518 Free space on /tmp= 50340 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301689-1532885587/watcher-4301689-1532885587 -o /tmp/evaluation-result-4301689-1532885587/solver-4301689-1532885587 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4870 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301689-1532885587.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39 RANDOM SEED=1173886726 node104.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.11 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.11 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.11 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.11 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: 26938956 kB MemAvailable: 30971168 kB Buffers: 178424 kB Cached: 4108908 kB SwapCached: 12 kB Active: 3112968 kB Inactive: 2171416 kB Active(anon): 951960 kB Inactive(anon): 73040 kB Active(file): 2161008 kB Inactive(file): 2098376 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108532 kB Dirty: 16412 kB Writeback: 67168 kB AnonPages: 1004216 kB Mapped: 44324 kB Shmem: 25060 kB Slab: 243716 kB SReclaimable: 177900 kB SUnreclaim: 65816 kB KernelStack: 3344 kB PageTables: 7308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1323572 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 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= 50340 MiB End job on node104 at 2018-07-29 19:33:43