Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | ? (TO) | 252.047 | 252.054 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml |
MD5SUM | a9a1ecda6b6f8f1e99c2d233168bcaa1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 506362597 |
Best CPU time to get the best result obtained on this benchmark | 93.0681 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7590 |
Number of constraints | 4736 |
Number of domains | 77 |
Minimum domain size | 1 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":2665},{"size":11,"count":2250},{"size":12,"count":1},{"size":25,"count":16},{"size":29,"count":112},{"size":33,"count":7},{"size":35,"count":61},{"size":39,"count":31},{"size":41,"count":3},{"size":44,"count":12},{"size":45,"count":29},{"size":47,"count":9},{"size":48,"count":23},{"size":49,"count":22},{"size":50,"count":3},{"size":51,"count":51},{"size":52,"count":61},{"size":54,"count":8},{"size":57,"count":6},{"size":58,"count":4},{"size":59,"count":3},{"size":60,"count":3},{"size":61,"count":12},{"size":63,"count":25},"...",{"size":92,"count":2}, {"size":93,"count":25}, {"size":97,"count":3}, {"size":101,"count":4}, {"size":102,"count":9}, {"size":103,"count":191}, {"size":105,"count":1}, {"size":108,"count":5}, {"size":109,"count":2}, {"size":111,"count":1}, {"size":112,"count":6}, {"size":115,"count":10}, {"size":116,"count":22}, {"size":118,"count":95}, {"size":122,"count":59}, {"size":123,"count":1}, {"size":124,"count":1}, {"size":125,"count":117}, {"size":126,"count":92}, {"size":127,"count":5}, {"size":137,"count":27}, {"size":138,"count":29}, {"size":140,"count":24}, {"size":141,"count":77}, {"size":151,"count":1259}] |
Minimum variable degree | 2 |
Maximum variable degree | 2251 |
Distribution of variable degrees | [{"degree":2,"count":6752},{"degree":3,"count":9},{"degree":4,"count":14},{"degree":5,"count":23},{"degree":6,"count":28},{"degree":7,"count":33},{"degree":8,"count":45},{"degree":9,"count":53},{"degree":10,"count":63},{"degree":11,"count":79},{"degree":12,"count":105},{"degree":13,"count":196},{"degree":14,"count":147},{"degree":15,"count":22},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":2251,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":237},{"arity":3,"count":2249},{"arity":6,"count":2250}] |
Number of extensional constraints | 2250 |
Number of intensional constraints | 2486 |
Distribution of constraint types | [{"type":"extension","count":2250},{"type":"intension","count":2486}] |
Optimization problem | YES |
Type of objective | min SUM |
0.10/0.16 c AllEqual constraint using 1 generic x=y constraints 0.10/0.16 c AllEqual constraint using 1 generic x=y constraints 0.10/0.16 c AllEqual constraint using 1 generic x=y constraints 0.10/0.16 c AllEqual constraint using 1 generic x=y constraints 0.10/0.16 c AllEqual constraint using 1 generic x=y constraints 0.10/0.16 c AllEqual constraint using 1 generic x=y constraints 0.10/0.16 c AllEqual constraint using 1 generic x=y constraints 0.10/0.16 c AllEqual constraint using 1 generic x=y constraints 0.10/0.16 c AllEqual constraint using 1 generic x=y constraints 51.40/51.40 c best=?? lower=0 upper=607522500 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-4301692-1532885623.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 : 51.07 s 251.99/252.00 c | 251.99/252.00 c | Variables: 7590 251.99/252.00 c | Domain Sizes: 1..151 251.99/252.00 c | 251.99/252.00 c | Constraints: 4737 251.99/252.00 c | Arity: 2..4501 -- Binary: 237 -- Ternary: 2249 251.99/252.00 c | 251.99/252.00 c | Types: 251.99/252.00 c | (X != Y): 7 251.99/252.00 c | (X = Y): 9 251.99/252.00 c | Extension: 2250 (nb tuples: 160..7224) -- (shared: 0) 251.99/252.00 c | Intension: 2470 251.99/252.00 c | Sum: 1 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 : 24 251.99/252.00 c conflicts : 9200 (37 /sec) 251.99/252.00 c decisions : 86362 (344 /sec) 251.99/252.00 c propagations : 9002175 (35812 /sec) 251.99/252.00 c root propagations : 18913 251.99/252.00 c filter calls : 1087354 (4326 /sec) 251.99/252.00 c useless filter calls : 723348 (66 %) 251.99/252.00 c Memory used : 996.35 MB 251.99/252.00 c CPU time : 251.371 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 (13433 MiB free) memory of node 1: 16384 MiB (12856 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301692-1532885623/watcher-4301692-1532885623 -o /tmp/evaluation-result-4301692-1532885623/solver-4301692-1532885623 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4870 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301692-1532885623.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=8337, runsolver pid=8334 Current StackSize limit: 8192 KiB [startup+0.100212 s]* /proc/loadavg: 2.02 2.08 2.02 3/188 8338 /proc/meminfo: memFree=26897416/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=52232 memory=28316 CPUtime=0.1 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 7290 0 0 0 9 1 0 0 20 0 1 0 106125547 53485568 7079 33554432000 4194304 6142532 140733408098784 140733408095416 140585895144421 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 13058 7079 803 476 0 6380 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 52232 KiB Current children cumulated memory: 28316 KiB [startup+0.209847 s]* /proc/loadavg: 2.02 2.08 2.02 3/188 8338 /proc/meminfo: memFree=26881048/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=69320 memory=45476 CPUtime=0.2 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 11569 0 0 0 19 1 0 0 20 0 1 0 106125547 70983680 11369 33554432000 4194304 6142532 140733408098784 140733408095416 140585895144421 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 17330 11369 807 476 0 10652 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 69320 KiB Current children cumulated memory: 45476 KiB [startup+0.309861 s]* /proc/loadavg: 2.02 2.08 2.02 3/188 8338 /proc/meminfo: memFree=26857088/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=93460 memory=69764 CPUtime=0.31 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 17601 0 0 0 29 2 0 0 20 0 1 0 106125547 95703040 17441 33554432000 4194304 6142532 140733408098784 140733408093256 140585895144421 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 23365 17441 807 476 0 16687 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 93460 KiB Current children cumulated memory: 69764 KiB [startup+0.700418 s] /proc/loadavg: 2.02 2.08 2.02 3/188 8338 /proc/meminfo: memFree=26808728/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=185972 memory=162164 CPUtime=0.69 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 40730 0 0 0 64 5 0 0 20 0 1 0 106125547 190435328 40541 33554432000 4194304 6142532 140733408098784 140733408093256 140585895144421 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 46493 40541 807 476 0 39815 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 185972 KiB Current children cumulated memory: 162164 KiB [startup+1.50034 s] /proc/loadavg: 2.02 2.08 2.02 3/188 8338 /proc/meminfo: memFree=26716100/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=237612 memory=213680 CPUtime=1.49 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 53622 0 0 0 142 7 0 0 20 0 1 0 106125547 243314688 53420 33554432000 4194304 6142532 140733408098784 140733408093256 5800110 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 59403 53420 812 476 0 52725 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 237612 KiB Current children cumulated memory: 213680 KiB [startup+3.10956 s] /proc/loadavg: 2.02 2.08 2.02 3/188 8338 /proc/meminfo: memFree=26690140/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=253156 memory=228716 CPUtime=3.1 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 58398 0 0 0 302 8 0 0 20 0 1 0 106125547 259231744 57179 33554432000 4194304 6142532 140733408098784 140733408093256 5801101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 63289 57179 812 476 0 56611 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 253156 KiB Current children cumulated memory: 228716 KiB [startup+6.30033 s] /proc/loadavg: 2.02 2.08 2.02 3/188 8338 /proc/meminfo: memFree=26659580/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=284716 memory=259284 CPUtime=6.29 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 67863 0 0 0 620 9 0 0 20 0 1 0 106125547 291549184 64821 33554432000 4194304 6142532 140733408098784 140733408095432 140585895582720 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 71179 64821 812 476 0 64501 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 284716 KiB Current children cumulated memory: 259284 KiB [startup+12.7003 s] /proc/loadavg: 2.02 2.07 2.02 3/188 8338 /proc/meminfo: memFree=26603168/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=346800 memory=319312 CPUtime=12.69 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 85099 0 0 0 1257 12 0 0 20 0 1 0 106125547 355123200 79828 33554432000 4194304 6142532 140733408098784 140733408095432 5802597 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 86700 79828 812 476 0 80022 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 346800 KiB Current children cumulated memory: 319312 KiB [startup+25.5003 s] /proc/loadavg: 2.01 2.07 2.02 3/188 8338 /proc/meminfo: memFree=26480968/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=471100 memory=439328 CPUtime=25.49 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 118234 0 0 0 2532 17 0 0 20 0 1 0 106125547 482406400 109832 33554432000 4194304 6142532 140733408098784 140733408095432 5404830 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 117775 109832 812 476 0 111097 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 471100 KiB Current children cumulated memory: 439328 KiB [startup+51.1096 s] /proc/loadavg: 2.01 2.07 2.02 3/188 8399 /proc/meminfo: memFree=27233464/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=719696 memory=679936 CPUtime=51.1 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 180550 0 0 0 5081 29 0 0 20 0 1 0 106125547 736968704 169984 33554432000 4194304 6142532 140733408098784 140733408095432 5543516 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 179924 169984 812 476 0 173246 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 719696 KiB Current children cumulated memory: 679936 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.06 2.02 3/187 8400 /proc/meminfo: memFree=27034384/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=919092 memory=876996 CPUtime=102.28 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 447031 0 0 0 10182 46 0 0 20 0 1 0 106125547 941150208 219249 33554432000 4194304 6142532 140733408098784 140733408095416 5363612 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 229773 219249 860 476 0 223095 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 919092 KiB Current children cumulated memory: 876996 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.04 2.02 3/187 8401 /proc/meminfo: memFree=26993556/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=961980 memory=917604 CPUtime=162.29 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 552529 0 0 0 16176 53 0 0 20 0 1 0 106125547 985067520 229401 33554432000 4194304 6142532 140733408098784 140733408095496 5335940 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 240495 229401 860 476 0 233817 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 961980 KiB Current children cumulated memory: 917604 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.04 2.02 3/187 8402 /proc/meminfo: memFree=26943928/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=1010408 memory=966908 CPUtime=222.29 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 709324 0 0 0 22167 62 0 0 20 0 1 0 106125547 1034657792 241727 33554432000 4194304 6142532 140733408098784 140733408095528 140585896068419 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 252602 241727 860 476 0 245924 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 1010408 KiB Current children cumulated memory: 966908 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 2.03 2.02 3/187 8402 /proc/meminfo: memFree=26933952/32770624 swapFree=67108532/67108860 [pid=8337] ppid=8334 vsize=1020260 memory=977412 CPUtime=251.99 cores=0,2,4,6 /proc/8337/stat : 8337 (cosoco) R 8334 8337 4839 0 -1 4202496 742809 0 0 0 25136 63 0 0 20 0 1 0 106125547 1044746240 244353 33554432000 4194304 6142532 140733408098784 140733408095416 5146708 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12193792 140733408101515 140733408101645 140733408101645 140733408104398 0 /proc/8337/statm: 255065 244353 860 476 0 248387 0 Current children cumulated CPU time: 251.99 s Current children cumulated vsize: 1020260 KiB Current children cumulated memory: 977412 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.054 s] # the end of solver process 8337 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.371 s, system=0.676053 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.054 CPU time (s): 252.047 CPU user time (s): 251.371 CPU system time (s): 0.676053 CPU usage (%): 99.9973 Max. virtual memory (cumulated for all children) (KiB): 1020260 Max. memory (cumulated for all children) (KiB): 977412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.371 system time used= 0.676053 maximum resident set size= 977524 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 742848 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= 57 involuntary context switches= 124 # summary of solver processes directly reported to runsolver: # pid: 8337 # total CPU time (s): 252.047 # total CPU user time (s): 251.371 # total CPU system time (s): 0.676053 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.963381 second user time and 1.81419 second system time The end
Begin job on node104 at 2018-07-29 19:33:44 IDJOB=4301692 IDBENCH=141274 IDSOLVER=2774 FILE ID=node104/4301692-1532885623 RUNJOBID= node104-1532880243-4870 PBS_JOBID= 21022518 Free space on /tmp= 50300 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-20-0420_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301692-1532885623/watcher-4301692-1532885623 -o /tmp/evaluation-result-4301692-1532885623/solver-4301692-1532885623 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4870 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301692-1532885623.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1 RANDOM SEED=1327515347 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: 26921724 kB MemAvailable: 30996740 kB Buffers: 178428 kB Cached: 4151404 kB SwapCached: 12 kB Active: 3168216 kB Inactive: 2171736 kB Active(anon): 964536 kB Inactive(anon): 73040 kB Active(file): 2203680 kB Inactive(file): 2098696 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108532 kB Dirty: 127392 kB Writeback: 0 kB AnonPages: 1020956 kB Mapped: 44412 kB Shmem: 25060 kB Slab: 205600 kB SReclaimable: 176948 kB SUnreclaim: 28652 kB KernelStack: 3552 kB PageTables: 7064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1336364 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 124928 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= 50432 MiB End job on node104 at 2018-07-29 19:37:56