Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | ? (TO) | 252.001 | 252.01 |
Name | Tal/ Tal-10_c18.xml |
MD5SUM | 5b503c3a6c92db57b21a5ce4dae05a14 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 276 |
Best CPU time to get the best result obtained on this benchmark | 252.041 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1376 |
Number of constraints | 875 |
Number of domains | 15 |
Minimum domain size | 1 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":1,"count":234},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":112},{"size":7,"count":9},{"size":8,"count":10},{"size":9,"count":11},{"size":10,"count":103},{"size":11,"count":13},{"size":12,"count":14},{"size":13,"count":15},{"size":42,"count":194}] |
Minimum variable degree | 0 |
Maximum variable degree | 17 |
Distribution of variable degrees | [{"degree":0,"count":639},{"degree":1,"count":234},{"degree":2,"count":128},{"degree":3,"count":14},{"degree":4,"count":15},{"degree":5,"count":82},{"degree":6,"count":29},{"degree":7,"count":18},{"degree":8,"count":18},{"degree":9,"count":29},{"degree":10,"count":28},{"degree":11,"count":45},{"degree":12,"count":25},{"degree":13,"count":19},{"degree":14,"count":23},{"degree":15,"count":18},{"degree":16,"count":11},{"degree":17,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":1,"count":230},{"arity":2,"count":285},{"arity":3,"count":93},{"arity":4,"count":16},{"arity":5,"count":28},{"arity":6,"count":27},{"arity":7,"count":26},{"arity":8,"count":25},{"arity":9,"count":28},{"arity":10,"count":32},{"arity":11,"count":17},{"arity":12,"count":31},{"arity":13,"count":12},{"arity":14,"count":13},{"arity":15,"count":12}] |
Number of extensional constraints | 169 |
Number of intensional constraints | 682 |
Distribution of constraint types | [{"type":"extension","count":169},{"type":"intension","count":682},{"type":"count","count":24}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.00/0.05 c AllEqual constraint using 1 generic x=y constraints 0.41/0.44 c best=?? lower=0 upper=1664 251.99/252.00 c 251.99/252.00 c This is cosoco 1.12 -- 251.99/252.00 c 251.99/252.00 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301320-1532879481.xml 251.99/252.00 c enable optimization 251.99/252.00 c ========================================[ Problem Statistics ]=========================================== 251.99/252.00 c | 251.99/252.00 c | Parse time : 0.43 s 251.99/252.00 c | 251.99/252.00 c | Variables: 1376 251.99/252.00 c | Domain Sizes: 1..42 251.99/252.00 c | 251.99/252.00 c | Constraints: 876 251.99/252.00 c | Arity: 1..338 -- Unary: 230 -- Binary: 285 -- Ternary: 93 251.99/252.00 c | 251.99/252.00 c | Types: 251.99/252.00 c | (X = Y): 24 251.99/252.00 c | Exactly K variable: 24 251.99/252.00 c | Extension: 169 (nb tuples: 83..2130) -- (shared: 148) 251.99/252.00 c | Intension: 428 251.99/252.00 c | Sum: 1 251.99/252.00 c | Unary: 230 251.99/252.00 c | 251.99/252.00 c | Objective: Minimize Sum 251.99/252.00 251.99/252.00 c ========================================================================================================= 251.99/252.00 251.99/252.00 c *** INTERRUPTED *** 251.99/252.00 c restarts : 35 251.99/252.00 c conflicts : 26475 (105 /sec) 251.99/252.00 c decisions : 187547 (744 /sec) 251.99/252.00 c propagations : 5596538 (22210 /sec) 251.99/252.00 c root propagations : 5831 251.99/252.00 c filter calls : 9859711 (39129 /sec) 251.99/252.00 c useless filter calls : 8042761 (81 %) 251.99/252.00 c Memory used : 48.36 MB 251.99/252.00 c CPU time : 251.979 s 251.99/252.00 251.99/252.00 c No Bound found! 251.99/252.00 251.99/252.00 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 (13443 MiB free) memory of node 1: 16384 MiB (14303 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301320-1532879481/watcher-4301320-1532879481 -o /tmp/evaluation-result-4301320-1532879481/solver-4301320-1532879481 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301320-1532879481.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=19939, runsolver pid=19936 [startup+0.100107 s]* /proc/loadavg: 1.93 2.02 1.97 3/193 19940 /proc/meminfo: memFree=28408484/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=32316 memory=8828 CPUtime=0.1 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 2387 0 0 0 10 0 0 0 20 0 1 0 105511307 33091584 2207 33554432000 4194304 6142532 140720897801840 140720897798472 139664136428517 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 8079 2207 844 476 0 1401 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 32316 KiB Current children cumulated memory: 8828 KiB [startup+0.20982 s]* /proc/loadavg: 1.93 2.02 1.97 3/193 19940 /proc/meminfo: memFree=28403276/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=37476 memory=13816 CPUtime=0.21 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 3655 0 0 0 20 1 0 0 20 0 1 0 105511307 38375424 3454 33554432000 4194304 6142532 140720897801840 140720897798472 139664136866816 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 9369 3454 844 476 0 2691 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 37476 KiB Current children cumulated memory: 13816 KiB [startup+0.30954 s]* /proc/loadavg: 1.93 2.02 1.97 3/193 19940 /proc/meminfo: memFree=28401788/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=39088 memory=15400 CPUtime=0.31 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 4072 0 0 0 30 1 0 0 20 0 1 0 105511307 40026112 3850 33554432000 4194304 6142532 140720897801840 140720897798472 139664136428517 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 9772 3850 844 476 0 3094 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 39088 KiB Current children cumulated memory: 15400 KiB [startup+0.700266 s] /proc/loadavg: 1.93 2.02 1.97 3/193 19940 /proc/meminfo: memFree=28393232/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=48856 memory=25456 CPUtime=0.69 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 6558 0 0 0 68 1 0 0 20 0 1 0 105511307 50028544 6364 33554432000 4194304 6142532 140720897801840 140720897798552 5363641 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 12214 6364 891 476 0 5536 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 48856 KiB Current children cumulated memory: 25456 KiB [startup+1.50023 s] /proc/loadavg: 1.93 2.02 1.97 3/193 19940 /proc/meminfo: memFree=28390820/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=49384 memory=25984 CPUtime=1.49 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 6704 0 0 0 148 1 0 0 20 0 1 0 105511307 50569216 6496 33554432000 4194304 6142532 140720897801840 140720897798552 5146736 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 12346 6496 891 476 0 5668 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 49384 KiB Current children cumulated memory: 25984 KiB [startup+3.10923 s] /proc/loadavg: 1.94 2.02 1.97 3/193 19940 /proc/meminfo: memFree=28388912/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=49384 memory=26228 CPUtime=3.1 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 8989 0 0 0 309 1 0 0 20 0 1 0 105511307 50569216 6557 33554432000 4194304 6142532 140720897801840 140720897798616 139664137349041 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 12346 6557 891 476 0 5668 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 49384 KiB Current children cumulated memory: 26228 KiB [startup+6.30022 s] /proc/loadavg: 1.94 2.02 1.97 3/193 19940 /proc/meminfo: memFree=28388880/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=49516 memory=26240 CPUtime=6.28 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 15089 0 0 0 627 1 0 0 20 0 1 0 105511307 50704384 6560 33554432000 4194304 6142532 140720897801840 140720897798552 5361722 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 12379 6560 891 476 0 5701 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 49516 KiB Current children cumulated memory: 26240 KiB [startup+12.7002 s] /proc/loadavg: 1.95 2.02 1.97 3/193 19940 /proc/meminfo: memFree=28389132/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=49516 memory=26256 CPUtime=12.69 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 19288 0 0 0 1267 2 0 0 20 0 1 0 105511307 50704384 6564 33554432000 4194304 6142532 140720897801840 140720897798552 5361248 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 12379 6564 891 476 0 5701 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 49516 KiB Current children cumulated memory: 26256 KiB [startup+25.5002 s] /proc/loadavg: 1.96 2.02 1.97 3/193 19940 /proc/meminfo: memFree=28389116/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=49516 memory=26256 CPUtime=25.49 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 20216 0 0 0 2547 2 0 0 20 0 1 0 105511307 50704384 6564 33554432000 4194304 6142532 140720897801840 140720897798552 5374069 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 12379 6564 891 476 0 5701 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 49516 KiB Current children cumulated memory: 26256 KiB [startup+51.1093 s] /proc/loadavg: 1.97 2.02 1.97 3/193 19940 /proc/meminfo: memFree=28389860/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=49516 memory=26256 CPUtime=51.1 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 20681 0 0 0 5108 2 0 0 20 0 1 0 105511307 50704384 6564 33554432000 4194304 6142532 140720897801840 140720897798552 5374088 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 12379 6564 891 476 0 5701 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 49516 KiB Current children cumulated memory: 26256 KiB [startup+102.3 s] /proc/loadavg: 1.99 2.02 1.97 3/193 19941 /proc/meminfo: memFree=28390708/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=49516 memory=26256 CPUtime=102.29 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 21153 0 0 0 10227 2 0 0 20 0 1 0 105511307 50704384 6564 33554432000 4194304 6142532 140720897801840 140720897798552 5363614 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 12379 6564 891 476 0 5701 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 49516 KiB Current children cumulated memory: 26256 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.97 3/192 19942 /proc/meminfo: memFree=28390040/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=49516 memory=26256 CPUtime=162.29 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 21618 0 0 0 16227 2 0 0 20 0 1 0 105511307 50704384 6564 33554432000 4194304 6142532 140720897801840 140720897798552 5396940 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 12379 6564 891 476 0 5701 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 49516 KiB Current children cumulated memory: 26256 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.97 3/191 19945 /proc/meminfo: memFree=28389752/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=49516 memory=26256 CPUtime=222.29 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 22085 0 0 0 22227 2 0 0 20 0 1 0 105511307 50704384 6564 33554432000 4194304 6142532 140720897801840 140720897798552 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 12379 6564 891 476 0 5701 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 49516 KiB Current children cumulated memory: 26256 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 2.01 1.97 3/191 20006 /proc/meminfo: memFree=28400476/32770624 swapFree=67108744/67108860 [pid=19939] ppid=19936 vsize=49516 memory=26256 CPUtime=251.99 cores=0,2,4,6 /proc/19939/stat : 19939 (cosoco) R 19936 19939 19273 0 -1 4202496 22552 0 0 0 25197 2 0 0 20 0 1 0 105511307 50704384 6564 33554432000 4194304 6142532 140720897801840 140720897798552 139664137354655 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14651392 140720897803403 140720897803533 140720897803533 140720897806286 0 /proc/19939/statm: 12379 6564 891 476 0 5701 0 Current children cumulated CPU time: 251.99 s Current children cumulated vsize: 49516 KiB Current children cumulated memory: 26256 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 19939 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.979 s, system=0.021999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.01 CPU time (s): 252.001 CPU user time (s): 251.979 CPU system time (s): 0.021999 CPU usage (%): 99.9964 Max. virtual memory (cumulated for all children) (KiB): 49516 Max. memory (cumulated for all children) (KiB): 26256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.979 system time used= 0.021999 maximum resident set size= 26324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22595 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= 13 involuntary context switches= 86 # summary of solver processes directly reported to runsolver: # pid: 19939 # total CPU time (s): 252.001 # total CPU user time (s): 251.979 # total CPU system time (s): 0.021999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.931913 second user time and 1.68473 second system time The end
Begin job on node134 at 2018-07-29 17:51:21 IDJOB=4301320 IDBENCH=141102 IDSOLVER=2774 FILE ID=node134/4301320-1532879481 RUNJOBID= node134-1532878455-19304 PBS_JOBID= 21022511 Free space on /tmp= 60956 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Tal/Tal-10_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301320-1532879481/watcher-4301320-1532879481 -o /tmp/evaluation-result-4301320-1532879481/solver-4301320-1532879481 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301320-1532879481.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5b503c3a6c92db57b21a5ce4dae05a14 RANDOM SEED=1922843093 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28413712 kB MemAvailable: 31954324 kB Buffers: 201724 kB Cached: 3610220 kB SwapCached: 0 kB Active: 1623684 kB Inactive: 2257608 kB Active(anon): 18912 kB Inactive(anon): 78480 kB Active(file): 1604772 kB Inactive(file): 2179128 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 3232 kB Writeback: 0 kB AnonPages: 234140 kB Mapped: 46796 kB Shmem: 25132 kB Slab: 173592 kB SReclaimable: 145092 kB SUnreclaim: 28500 kB KernelStack: 3712 kB PageTables: 5224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 366456 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60952 MiB End job on node134 at 2018-07-29 17:55:33