Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PicatSAT 2018-08-02 | UNSAT | 226.347 | 226.376 |
Name | Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f02_c18.xml |
MD5SUM | 9039ba285abc1aa689fd996e152ad038 |
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 | 18.41 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":10},{"size":23,"count":4},{"size":35,"count":336},{"size":42,"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 |
226.27/226.37 c xcsp_picat version 2.4#6 (8/1/2018) 226.27/226.37 s UNSATISFIABLE
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 (1507 MiB free) memory of node 1: 16384 MiB (250 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303504-1534001048/watcher-4303504-1534001048 -o /tmp/evaluation-result-4303504-1534001048/solver-4303504-1534001048 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21559 --watchdog 2580 xcsp_picat HOME/instance-4303504-1534001048.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 Current StackSize limit: 8192 KiB solver pid=22357, runsolver pid=22354 [startup+0.10044 s]* /proc/loadavg: 2.16 2.05 2.06 3/188 22358 /proc/meminfo: memFree=1785052/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2025744 memory=17476 CPUtime=0.1 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 1465 0 0 0 10 0 0 0 20 0 1 0 217667924 2074361856 4369 33554432000 4194304 5849708 140723254144320 140723254143624 4503146 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 506436 4369 610 405 0 503381 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2025744 KiB Current children cumulated memory: 17476 KiB [startup+0.209604 s]* /proc/loadavg: 2.16 2.05 2.06 3/188 22358 /proc/meminfo: memFree=1770376/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2025744 memory=32688 CPUtime=0.21 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 1699 0 0 0 21 0 0 0 20 0 1 0 217667924 2074361856 8172 33554432000 4194304 5849708 140723254144320 140723254143624 5534824 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 506436 8172 683 405 0 503381 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2025744 KiB Current children cumulated memory: 32688 KiB [startup+0.30942 s]* /proc/loadavg: 2.16 2.05 2.06 3/188 22358 /proc/meminfo: memFree=1770376/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2025744 memory=32688 CPUtime=0.3 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 1707 0 0 0 30 0 0 0 20 0 1 0 217667924 2074361856 8172 33554432000 4194304 5849708 140723254144320 140723254143624 5606238 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 506436 8172 683 405 0 503381 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 2025744 KiB Current children cumulated memory: 32688 KiB [startup+0.700224 s] /proc/loadavg: 2.16 2.05 2.06 3/188 22358 /proc/meminfo: memFree=1770008/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2025884 memory=32948 CPUtime=0.69 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 1742 0 0 0 69 0 0 0 20 0 1 0 217667924 2074505216 8237 33554432000 4194304 5849708 140723254144320 140723254143624 5471133 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 506471 8237 703 405 0 503416 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2025884 KiB Current children cumulated memory: 32948 KiB [startup+1.50023 s] /proc/loadavg: 2.16 2.05 2.06 3/188 22358 /proc/meminfo: memFree=1770008/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2026148 memory=33212 CPUtime=1.49 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 1816 0 0 0 148 1 0 0 20 0 1 0 217667924 2074775552 8303 33554432000 4194304 5849708 140723254144320 140723254143416 140612096733063 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 506537 8303 703 405 0 503482 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2026148 KiB Current children cumulated memory: 33212 KiB [startup+3.10885 s] /proc/loadavg: 2.23 2.06 2.06 3/188 22358 /proc/meminfo: memFree=1768616/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2026580 memory=33596 CPUtime=3.09 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 2040 0 0 0 308 1 0 0 20 0 1 0 217667924 2075217920 8399 33554432000 4194304 5849708 140723254144320 140723254143416 5520277 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 506645 8399 703 405 0 503590 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 2026580 KiB Current children cumulated memory: 33596 KiB [startup+6.30034 s] /proc/loadavg: 2.23 2.06 2.06 3/188 22358 /proc/meminfo: memFree=1764272/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2027404 memory=34504 CPUtime=6.28 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 2467 0 0 0 626 2 0 0 20 0 1 0 217667924 2076061696 8626 33554432000 4194304 5849708 140723254144320 140723254143416 5606238 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 506851 8626 703 405 0 503796 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 2027404 KiB Current children cumulated memory: 34504 KiB [startup+12.7003 s] /proc/loadavg: 2.27 2.08 2.07 3/188 22358 /proc/meminfo: memFree=1760536/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2031252 memory=38352 CPUtime=12.68 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 3972 0 0 0 1263 5 0 0 20 0 1 0 217667924 2080002048 9588 33554432000 4194304 5849708 140723254144320 140723254143432 140612096733063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 507813 9588 703 405 0 504758 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 2031252 KiB Current children cumulated memory: 38352 KiB [startup+25.5005 s] /proc/loadavg: 2.31 2.09 2.07 3/188 22358 /proc/meminfo: memFree=1699320/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2089008 memory=96080 CPUtime=25.49 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 16392 0 0 0 2538 11 0 0 20 0 1 0 217667924 2139144192 24020 33554432000 4194304 5849708 140723254144320 140723254142808 4213354 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 522252 24020 728 405 0 519197 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 2089008 KiB Current children cumulated memory: 96080 KiB [startup+51.1096 s] /proc/loadavg: 2.20 2.08 2.07 3/188 22358 /proc/meminfo: memFree=1689896/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2093320 memory=100172 CPUtime=51.09 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 29096 0 0 0 5093 16 0 0 20 0 1 0 217667924 2143559680 25043 33554432000 4194304 5849708 140723254144320 140723254143320 5335584 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 523330 25043 736 405 0 520275 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 2093320 KiB Current children cumulated memory: 100172 KiB [startup+102.3 s] /proc/loadavg: 2.08 2.07 2.06 3/187 22421 /proc/meminfo: memFree=1659924/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2133940 memory=140824 CPUtime=102.28 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 56966 0 0 0 10184 44 0 0 20 0 1 0 217667924 2185154560 35206 33554432000 4194304 5849708 140723254144320 140723254142808 5308230 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 533485 35206 736 405 0 530430 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 2133940 KiB Current children cumulated memory: 140824 KiB [startup+162.3 s] /proc/loadavg: 2.03 2.06 2.06 3/187 22422 /proc/meminfo: memFree=1586932/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2141776 memory=148868 CPUtime=162.26 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 69916 0 0 0 16162 64 0 0 20 0 1 0 217667924 2193178624 37217 33554432000 4194304 5849708 140723254144320 140723254143320 5437660 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 535444 37217 736 405 0 532389 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 2141776 KiB Current children cumulated memory: 148868 KiB [startup+222.3 s] /proc/loadavg: 2.01 2.05 2.05 3/187 22483 /proc/meminfo: memFree=1582828/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2125712 memory=136760 CPUtime=222.26 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 74220 0 0 0 22141 85 0 0 20 0 1 0 217667924 2176729088 34190 33554432000 4194304 5849708 140723254144320 140723254142808 4211671 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 531428 34190 736 405 0 528373 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 2125712 KiB Current children cumulated memory: 136760 KiB [startup+226.376 s] # the end of solver process 22357 was just reported to runsolver # cumulated CPU time of all completed processes: user=225.474 s, system=0.872945 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+224 s]* /proc/loadavg: 2.01 2.05 2.05 3/187 22483 /proc/meminfo: memFree=1577852/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2131752 memory=142648 CPUtime=223.97 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 77141 0 0 0 22312 85 0 0 20 0 1 0 217667924 2182914048 35662 33554432000 4194304 5849708 140723254144320 140723254143320 140612096733063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 532938 35662 736 405 0 529883 0 Current children cumulated CPU time: 223.97 s Current children cumulated vsize: 2131752 KiB Current children cumulated memory: 142648 KiB [startup+225.6 s] /proc/loadavg: 2.01 2.05 2.05 3/187 22483 /proc/meminfo: memFree=1577816/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2131752 memory=142648 CPUtime=225.56 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 77141 0 0 0 22470 86 0 0 20 0 1 0 217667924 2182914048 35662 33554432000 4194304 5849708 140723254144320 140723254143320 5335584 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 532938 35662 736 405 0 529883 0 Current children cumulated CPU time: 225.56 s Current children cumulated vsize: 2131752 KiB Current children cumulated memory: 142648 KiB [startup+226 s]* /proc/loadavg: 2.01 2.05 2.05 3/187 22483 /proc/meminfo: memFree=1577928/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2131752 memory=142648 CPUtime=225.97 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 77141 0 0 0 22511 86 0 0 20 0 1 0 217667924 2182914048 35662 33554432000 4194304 5849708 140723254144320 140723254143320 140612096733063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 532938 35662 736 405 0 529883 0 Current children cumulated CPU time: 225.97 s Current children cumulated vsize: 2131752 KiB Current children cumulated memory: 142648 KiB [startup+226.2 s] /proc/loadavg: 2.01 2.05 2.05 3/187 22483 /proc/meminfo: memFree=1577928/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2131752 memory=142648 CPUtime=226.17 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 77141 0 0 0 22530 87 0 0 20 0 1 0 217667924 2182914048 35662 33554432000 4194304 5849708 140723254144320 140723254143320 5437807 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 532938 35662 736 405 0 529883 0 Current children cumulated CPU time: 226.17 s Current children cumulated vsize: 2131752 KiB Current children cumulated memory: 142648 KiB [startup+226.3 s] /proc/loadavg: 2.01 2.05 2.05 3/187 22483 /proc/meminfo: memFree=1577928/32770624 swapFree=67108796/67108860 [pid=22357] ppid=22354 vsize=2131752 memory=142648 CPUtime=226.27 cores=0,2,4,6 /proc/22357/stat : 22357 (xcsp_picat) R 22354 22357 21527 0 -1 4202496 77141 0 0 0 22540 87 0 0 20 0 1 0 217667924 2182914048 35662 33554432000 4194304 5849708 140723254144320 140723254143320 140612096733063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 40984576 140723254150326 140723254150404 140723254150404 140723254153162 0 /proc/22357/statm: 532938 35662 736 405 0 529883 0 Current children cumulated CPU time: 226.27 s Current children cumulated vsize: 2131752 KiB Current children cumulated memory: 142648 KiB Child status: 0 Real time (s): 226.376 CPU time (s): 226.347 CPU user time (s): 225.474 CPU system time (s): 0.872945 CPU usage (%): 99.9871 Max. virtual memory (cumulated for all children) (KiB): 2143344 Max. memory (cumulated for all children) (KiB): 151016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 225.474 system time used= 0.872945 maximum resident set size= 152068 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77165 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= 18 involuntary context switches= 296 # summary of solver processes directly reported to runsolver: # pid: 22357 # total CPU time (s): 226.347 # total CPU user time (s): 225.474 # total CPU system time (s): 0.872945 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.969114 second user time and 1.56375 second system time The end
Begin job on node138 at 2018-08-11 17:24:08 IDJOB=4303504 IDBENCH=141177 IDSOLVER=2778 FILE ID=node138/4303504-1534001048 RUNJOBID= node138-1533993481-21559 PBS_JOBID= 21036952 Free space on /tmp= 24252 MiB SOLVER NAME= PicatSAT 2018-08-02 BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f02_c18.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303504-1534001048/watcher-4303504-1534001048 -o /tmp/evaluation-result-4303504-1534001048/solver-4303504-1534001048 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21559 --watchdog 2580 xcsp_picat HOME/instance-4303504-1534001048.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9039ba285abc1aa689fd996e152ad038 RANDOM SEED=294253413 node138.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.71 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.71 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.71 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.71 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: 1800724 kB MemAvailable: 31866940 kB Buffers: 140880 kB Cached: 29722896 kB SwapCached: 12 kB Active: 9695176 kB Inactive: 20262928 kB Active(anon): 38188 kB Inactive(anon): 108352 kB Active(file): 9656988 kB Inactive(file): 20154576 kB Unevictable: 7276 kB Mlocked: 7276 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 6460 kB Writeback: 0 kB AnonPages: 101268 kB Mapped: 53264 kB Shmem: 49740 kB Slab: 710744 kB SReclaimable: 683112 kB SUnreclaim: 27632 kB KernelStack: 3376 kB PageTables: 5412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2392632 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 43008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 24248 MiB End job on node138 at 2018-08-11 17:27:54