Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
BTD 2018.06.11_3 | UNSAT | 226.071 | 226.112 |
Name | Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f03_c18.xml |
MD5SUM | b0c58d7e712a0938766b5bf6b16c9539 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 17.0012 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 41 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":14},{"size":34,"count":336},{"size":41,"count":328}] |
Minimum variable degree | 1 |
Maximum variable degree | 62 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4103}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4103 |
Distribution of constraint types | [{"type":"intension","count":4103}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c Version 18.06.11_3 225.96/226.09 s UNSATISFIABLE 225.96/226.09 c # Nodes: 1115136
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 (14937 MiB free) memory of node 1: 16384 MiB (11882 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293459-1532348202/watcher-4293459-1532348202 -o /tmp/evaluation-result-4293459-1532348202/solver-4293459-1532348202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532329499-11624 --watchdog 2580 BTD 3 2520 HOME/instance-4293459-1532348202.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=14539, runsolver pid=14536 Current StackSize limit: 8192 KiB [startup+0.100775 s]* /proc/loadavg: 2.21 2.22 2.13 3/187 14540 /proc/meminfo: memFree=27458376/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=37672 memory=7372 CPUtime=0.1 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 2033 0 0 0 10 0 0 0 20 0 1 0 52383454 38576128 1843 33554432000 4194304 36388972 140737279191040 140737279182600 7657238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 9418 1843 443 7861 0 1522 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 37672 KiB Current children cumulated memory: 7372 KiB [startup+0.209461 s]* /proc/loadavg: 2.21 2.22 2.13 3/187 14540 /proc/meminfo: memFree=27451724/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=44140 memory=13972 CPUtime=0.2 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 3644 0 0 0 20 0 0 0 20 0 1 0 52383454 45199360 3493 33554432000 4194304 36388972 140737279191040 140737279183096 7657238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 11035 3493 443 7861 0 3139 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 44140 KiB Current children cumulated memory: 13972 KiB [startup+0.309275 s]* /proc/loadavg: 2.19 2.22 2.13 3/187 14540 /proc/meminfo: memFree=27446020/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=49816 memory=19516 CPUtime=0.3 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 5071 0 0 0 30 0 0 0 20 0 1 0 52383454 51011584 4879 33554432000 4194304 36388972 140737279191040 140737279183096 7654249 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 12454 4879 443 7861 0 4558 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 49816 KiB Current children cumulated memory: 19516 KiB [startup+0.700262 s] /proc/loadavg: 2.19 2.22 2.13 3/187 14540 /proc/meminfo: memFree=27435356/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=70540 memory=40372 CPUtime=0.68 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 10255 0 0 0 67 1 0 0 20 0 1 0 52383454 72232960 10093 33554432000 4194304 36388972 140737279191040 140737279183096 7409056 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 17635 10093 443 7861 0 9739 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 70540 KiB Current children cumulated memory: 40372 KiB [startup+1.50024 s] /proc/loadavg: 2.19 2.22 2.13 3/187 14540 /proc/meminfo: memFree=27409564/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=98888 memory=68356 CPUtime=1.48 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 17265 0 0 0 146 2 0 0 20 0 1 0 52383454 101261312 17089 33554432000 4194304 36388972 140737279191040 140737279189880 4316857 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24722 17089 497 7861 0 16826 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 98888 KiB Current children cumulated memory: 68356 KiB [startup+3.10892 s] /proc/loadavg: 2.19 2.22 2.13 3/187 14540 /proc/meminfo: memFree=27396792/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=98888 memory=68552 CPUtime=3.09 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 27300 0 0 0 305 4 0 0 20 0 1 0 52383454 101261312 17138 33554432000 4194304 36388972 140737279191040 140737279189880 4658343 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24722 17138 506 7861 0 16826 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 98888 KiB Current children cumulated memory: 68552 KiB [startup+6.30027 s] /proc/loadavg: 2.26 2.23 2.13 3/187 14540 /proc/meminfo: memFree=27395776/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=98888 memory=68552 CPUtime=6.28 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 37337 0 0 0 621 7 0 0 20 0 1 0 52383454 101261312 17138 33554432000 4194304 36388972 140737279191040 140737279189880 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24722 17138 506 7861 0 16826 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 98888 KiB Current children cumulated memory: 68552 KiB [startup+12.7003 s] /proc/loadavg: 2.24 2.23 2.13 3/187 14540 /proc/meminfo: memFree=27395932/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=98888 memory=68552 CPUtime=12.68 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 47405 0 0 0 1256 12 0 0 20 0 1 0 52383454 101261312 17138 33554432000 4194304 36388972 140737279191040 140737279189880 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24722 17138 506 7861 0 16826 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 98888 KiB Current children cumulated memory: 68552 KiB [startup+25.5003 s] /proc/loadavg: 2.20 2.22 2.13 3/187 14540 /proc/meminfo: memFree=27395932/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=98888 memory=68552 CPUtime=25.48 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 67462 0 0 0 2526 22 0 0 20 0 1 0 52383454 101261312 17138 33554432000 4194304 36388972 140737279191040 140737279189880 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24722 17138 506 7861 0 16826 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 98888 KiB Current children cumulated memory: 68552 KiB [startup+51.1089 s] /proc/loadavg: 2.12 2.20 2.13 3/187 14540 /proc/meminfo: memFree=27394116/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=98888 memory=68560 CPUtime=51.08 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 74862 0 0 0 5067 41 0 0 20 0 1 0 52383454 101261312 17140 33554432000 4194304 36388972 140737279191040 140737279189880 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24722 17140 506 7861 0 16826 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 98888 KiB Current children cumulated memory: 68560 KiB [startup+102.3 s] /proc/loadavg: 2.05 2.17 2.13 3/187 14541 /proc/meminfo: memFree=27394568/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=98888 memory=68744 CPUtime=102.25 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 75847 0 0 0 10139 86 0 0 20 0 1 0 52383454 101261312 17186 33554432000 4194304 36388972 140737279191040 140737279189880 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24722 17186 506 7861 0 16826 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 98888 KiB Current children cumulated memory: 68744 KiB [startup+162.3 s] /proc/loadavg: 2.02 2.14 2.12 3/187 14542 /proc/meminfo: memFree=27394580/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=99020 memory=68764 CPUtime=162.25 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 76171 0 0 0 16088 137 0 0 20 0 1 0 52383454 101396480 17191 33554432000 4194304 36388972 140737279191040 140737279189880 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24755 17191 506 7861 0 16859 0 Current children cumulated CPU time: 162.25 s Current children cumulated vsize: 99020 KiB Current children cumulated memory: 68764 KiB [startup+222.3 s] /proc/loadavg: 2.01 2.11 2.11 3/188 14551 /proc/meminfo: memFree=27393888/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=99020 memory=68776 CPUtime=222.24 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 76491 0 0 0 22034 190 0 0 20 0 1 0 52383454 101396480 17194 33554432000 4194304 36388972 140737279191040 140737279189880 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24755 17194 506 7861 0 16859 0 Current children cumulated CPU time: 222.24 s Current children cumulated vsize: 99020 KiB Current children cumulated memory: 68776 KiB [startup+226.112 s] # the end of solver process 14539 was just reported to runsolver # cumulated CPU time of all completed processes: user=224.123 s, system=1.9479 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+224 s]* /proc/loadavg: 2.01 2.11 2.11 3/188 14551 /proc/meminfo: memFree=27393888/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=99020 memory=68776 CPUtime=223.95 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 76491 0 0 0 22204 191 0 0 20 0 1 0 52383454 101396480 17194 33554432000 4194304 36388972 140737279191040 140737279189880 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24755 17194 506 7861 0 16859 0 Current children cumulated CPU time: 223.95 s Current children cumulated vsize: 99020 KiB Current children cumulated memory: 68776 KiB [startup+224.8 s] /proc/loadavg: 2.01 2.11 2.11 3/188 14551 /proc/meminfo: memFree=27393888/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=99020 memory=68776 CPUtime=224.75 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 76491 0 0 0 22283 192 0 0 20 0 1 0 52383454 101396480 17194 33554432000 4194304 36388972 140737279191040 140737279189880 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24755 17194 506 7861 0 16859 0 Current children cumulated CPU time: 224.75 s Current children cumulated vsize: 99020 KiB Current children cumulated memory: 68776 KiB [startup+225.6 s] /proc/loadavg: 2.01 2.11 2.11 3/188 14551 /proc/meminfo: memFree=27393888/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=99020 memory=68776 CPUtime=225.54 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 76491 0 0 0 22361 193 0 0 20 0 1 0 52383454 101396480 17194 33554432000 4194304 36388972 140737279191040 140737279189880 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24755 17194 506 7861 0 16859 0 Current children cumulated CPU time: 225.54 s Current children cumulated vsize: 99020 KiB Current children cumulated memory: 68776 KiB [startup+226 s]* /proc/loadavg: 2.01 2.11 2.11 3/188 14551 /proc/meminfo: memFree=27393888/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=99020 memory=68776 CPUtime=225.96 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 76491 0 0 0 22402 194 0 0 20 0 1 0 52383454 101396480 17194 33554432000 4194304 36388972 140737279191040 140737279189880 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24755 17194 506 7861 0 16859 0 Current children cumulated CPU time: 225.96 s Current children cumulated vsize: 99020 KiB Current children cumulated memory: 68776 KiB [startup+226.109 s] /proc/loadavg: 2.01 2.11 2.11 3/188 14551 /proc/meminfo: memFree=27393888/32770624 swapFree=67108860/67108860 [pid=14539] ppid=14536 vsize=98100 memory=68044 CPUtime=226.06 cores=0,2,4,6 /proc/14539/stat : 14539 (BTD) R 14536 14539 11593 0 -1 4202496 76839 0 0 0 22412 194 0 0 20 0 1 0 52383454 100454400 17011 33554432000 4194304 36388972 140737279191040 140737279189880 7667769 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 63062016 140737279194301 140737279194379 140737279194379 140737279197137 0 /proc/14539/statm: 24525 17011 508 7861 0 16629 0 Current children cumulated CPU time: 226.06 s Current children cumulated vsize: 98100 KiB Current children cumulated memory: 68044 KiB Child status: 0 Real time (s): 226.112 CPU time (s): 226.071 CPU user time (s): 224.123 CPU system time (s): 1.9479 CPU usage (%): 99.9819 Max. virtual memory (cumulated for all children) (KiB): 99020 Max. memory (cumulated for all children) (KiB): 68776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 224.123 system time used= 1.94789 maximum resident set size= 68776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76845 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= 33 involuntary context switches= 85 # summary of solver processes directly reported to runsolver: # pid: 14539 # total CPU time (s): 226.071 # total CPU user time (s): 224.123 # total CPU system time (s): 1.9479 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.938843 second user time and 1.34282 second system time The end
Begin job on node151 at 2018-07-23 14:16:42 IDJOB=4293459 IDBENCH=141178 IDSOLVER=2749 FILE ID=node151/4293459-1532348202 RUNJOBID= node151-1532329499-11624 PBS_JOBID= 21018998 Free space on /tmp= 55020 MiB SOLVER NAME= BTD 2018.06.11_3 BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f03_c18.xml COMMAND LINE= BTD 3 TIMELIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293459-1532348202/watcher-4293459-1532348202 -o /tmp/evaluation-result-4293459-1532348202/solver-4293459-1532348202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532329499-11624 --watchdog 2580 BTD 3 2520 HOME/instance-4293459-1532348202.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b0c58d7e712a0938766b5bf6b16c9539 RANDOM SEED=549736454 node151.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.87 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.87 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.87 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.87 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: 27463980 kB MemAvailable: 31952776 kB Buffers: 132228 kB Cached: 4599060 kB SwapCached: 0 kB Active: 978264 kB Inactive: 3810116 kB Active(anon): 8124 kB Inactive(anon): 69276 kB Active(file): 970140 kB Inactive(file): 3740840 kB Unevictable: 7888 kB Mlocked: 7888 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 52708 kB Writeback: 0 kB AnonPages: 130564 kB Mapped: 39132 kB Shmem: 17032 kB Slab: 214648 kB SReclaimable: 187300 kB SUnreclaim: 27348 kB KernelStack: 3360 kB PageTables: 4952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 347288 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 54968 MiB End job on node151 at 2018-07-23 14:20:29