Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PicatSAT 2019-09-12 | SAT | 27.9455 | 27.9505 |
Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-16-81.xml |
MD5SUM | e1683218a1e3c524b21c5eaa634d1705 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 27.9455 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 600 |
Number of constraints | 737 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":2,"count":500},{"size":26,"count":100}] |
Minimum variable degree | 2 |
Maximum variable degree | 52 |
Distribution of variable degrees | [{"degree":2,"count":100},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":20},{"degree":23,"count":20},{"degree":24,"count":20},{"degree":25,"count":20},{"degree":26,"count":10},"...",{"degree":28,"count":8}, {"degree":29,"count":8}, {"degree":30,"count":9}, {"degree":31,"count":9}, {"degree":32,"count":22}, {"degree":33,"count":5}, {"degree":34,"count":6}, {"degree":35,"count":6}, {"degree":36,"count":7}, {"degree":37,"count":2}, {"degree":38,"count":2}, {"degree":39,"count":2}, {"degree":40,"count":2}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":2}, {"degree":44,"count":2}, {"degree":45,"count":2}, {"degree":46,"count":2}, {"degree":47,"count":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":3}, {"degree":52,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 100 |
Distribution of constraint arities | [{"arity":2,"count":99},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":194},{"arity":6,"count":101},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":10,"count":4},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":2},{"arity":16,"count":2},{"arity":18,"count":1},{"arity":19,"count":2},{"arity":20,"count":3},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":4},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":636},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
21.99/22.06 c xcsp_picat version 2.7b12 (9/12/2019) 27.88/27.94 s SATISFIABLE 27.88/27.94 v <instantiation> 27.88/27.94 v <list> opt[][] cls[] </list> 27.88/27.94 v <values> 1 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 17 2 0 4 5 11 20 8 3 15 2 19 4 11 5 25 1 0 13 0 2 10 14 2 10 2 0 4 11 14 10 2 8 3 12 5 11 6 22 14 0 13 0 3 19 5 18 5 11 20 8 3 15 3 16 4 3 8 7 19 5 22 6 11 14 15 3 8 7 16 5 0 13 22 1 15 5 11 6 9 5 15 3 8 23 8 5 18 5 9 4 0 2 10 21 0 4 0 2 24 </values> 27.88/27.94 v </instantiation>
OK
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 (14798 MiB free) memory of node 1: 16384 MiB (15188 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394892-1568334174/watcher-4394892-1568334174 -o /tmp/evaluation-result-4394892-1568334174/solver-4394892-1568334174 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568318666-25671 --watchdog 2580 xcsp_picat HOME/instance-4394892-1568334174.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=29561, runsolver pid=29558 [startup+0.100115 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 29562 /proc/meminfo: memFree=30682624/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2043888 memory=27564 CPUtime=0.1 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 1453 0 0 0 10 0 0 0 20 0 1 0 409672070 2092941312 6891 33554432000 4194304 5870510 140721239553488 140721239543992 5407032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 510972 6891 931 410 0 506445 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 2043888 KiB Current children cumulated memory: 27564 KiB [startup+0.209681 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 29562 /proc/meminfo: memFree=30679896/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2047284 memory=30644 CPUtime=0.21 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 2251 0 0 0 20 1 0 0 20 0 1 0 409672070 2096418816 7661 33554432000 4194304 5870510 140721239553488 140721239543992 139969848954759 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 511821 7661 958 410 0 507294 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 2047284 KiB Current children cumulated memory: 30644 KiB [startup+0.309288 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 29562 /proc/meminfo: memFree=30679896/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2047284 memory=30644 CPUtime=0.31 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 2265 0 0 0 30 1 0 0 20 0 1 0 409672070 2096418816 7661 33554432000 4194304 5870510 140721239553488 140721239552728 5406760 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 511821 7661 958 410 0 507294 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 2047284 KiB Current children cumulated memory: 30644 KiB [startup+0.700226 s] /proc/loadavg: 2.00 2.01 2.05 3/199 29562 /proc/meminfo: memFree=30679152/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2047284 memory=30872 CPUtime=0.69 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 2323 0 0 0 68 1 0 0 20 0 1 0 409672070 2096418816 7718 33554432000 4194304 5870510 140721239553488 140721239552584 5406863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 511821 7718 958 410 0 507294 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 2047284 KiB Current children cumulated memory: 30872 KiB [startup+1.50023 s] /proc/loadavg: 2.00 2.01 2.05 3/199 29562 /proc/meminfo: memFree=30678780/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2047568 memory=31496 CPUtime=1.49 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 2447 0 0 0 148 1 0 0 20 0 1 0 409672070 2096709632 7874 33554432000 4194304 5870510 140721239553488 140721239552584 5559338 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 511892 7874 958 410 0 507365 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2047568 KiB Current children cumulated memory: 31496 KiB [startup+3.10907 s] /proc/loadavg: 2.00 2.01 2.05 3/199 29562 /proc/meminfo: memFree=30677772/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2048732 memory=32656 CPUtime=3.1 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 2928 0 0 0 309 1 0 0 20 0 1 0 409672070 2097901568 8164 33554432000 4194304 5870510 140721239553488 140721239552584 5405731 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 512183 8164 958 410 0 507656 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2048732 KiB Current children cumulated memory: 32656 KiB [startup+6.30022 s] /proc/loadavg: 2.00 2.01 2.05 3/199 29562 /proc/meminfo: memFree=30657436/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2061992 memory=52464 CPUtime=6.29 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 7766 0 0 0 626 3 0 0 20 0 1 0 409672070 2111479808 13116 33554432000 4194304 5870510 140721239553488 140721239552584 5550280 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 515498 13116 960 410 0 510971 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 2061992 KiB Current children cumulated memory: 52464 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/199 29562 /proc/meminfo: memFree=30651436/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2070152 memory=58024 CPUtime=12.69 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 19947 0 0 0 1265 4 0 0 20 0 1 0 409672070 2119835648 14506 33554432000 4194304 5870510 140721239553488 140721239552744 5267727 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 517538 14506 991 410 0 513011 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 2070152 KiB Current children cumulated memory: 58024 KiB [startup+25.5004 s] /proc/loadavg: 1.93 2.00 2.04 3/199 29564 /proc/meminfo: memFree=30643136/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2076844 memory=66940 CPUtime=25.49 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 30509 0 0 0 2542 7 0 0 20 0 1 0 409672070 2126688256 16735 33554432000 4194304 5870510 140721239553488 140721239551848 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 519211 16735 993 410 0 514684 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 2076844 KiB Current children cumulated memory: 66940 KiB [startup+27.9505 s] # the end of solver process 29561 was just reported to runsolver # cumulated CPU time of all completed processes: user=27.8645 s, system=0.080986 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.6004 s] /proc/loadavg: 1.93 2.00 2.04 3/199 29564 /proc/meminfo: memFree=30643136/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2076976 memory=67200 CPUtime=25.59 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 30557 0 0 0 2552 7 0 0 20 0 1 0 409672070 2126823424 16800 33554432000 4194304 5870510 140721239553488 140721239551848 5274516 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 519244 16800 993 410 0 514717 0 Current children cumulated CPU time: 25.59 s Current children cumulated vsize: 2076976 KiB Current children cumulated memory: 67200 KiB [startup+27.2003 s] /proc/loadavg: 1.93 2.00 2.04 3/199 29564 /proc/meminfo: memFree=30626772/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2096440 memory=83360 CPUtime=27.18 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 31050 0 0 0 2711 7 0 0 20 0 1 0 409672070 2146754560 20840 33554432000 4194304 5870510 140721239553488 140721239551928 5272417 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 524110 20840 993 410 0 519583 0 Current children cumulated CPU time: 27.18 s Current children cumulated vsize: 2096440 KiB Current children cumulated memory: 83360 KiB [startup+27.6003 s] /proc/loadavg: 1.93 2.00 2.04 3/199 29564 /proc/meminfo: memFree=30626772/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2096440 memory=83532 CPUtime=27.58 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 36130 0 0 0 2751 7 0 0 20 0 1 0 409672070 2146754560 20883 33554432000 4194304 5870510 140721239553488 140721239551928 5282574 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 524110 20883 993 410 0 519583 0 Current children cumulated CPU time: 27.58 s Current children cumulated vsize: 2096440 KiB Current children cumulated memory: 83532 KiB [startup+27.8003 s] /proc/loadavg: 1.93 2.00 2.04 3/199 29564 /proc/meminfo: memFree=30626772/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2096440 memory=83532 CPUtime=27.78 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 36273 0 0 0 2771 7 0 0 20 0 1 0 409672070 2146754560 20883 33554432000 4194304 5870510 140721239553488 140721239551928 5283106 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 524110 20883 993 410 0 519583 0 Current children cumulated CPU time: 27.78 s Current children cumulated vsize: 2096440 KiB Current children cumulated memory: 83532 KiB [startup+27.9003 s] /proc/loadavg: 1.93 2.00 2.04 3/199 29564 /proc/meminfo: memFree=30626772/32770624 swapFree=66996552/67108860 [pid=29561] ppid=29558 vsize=2096440 memory=83532 CPUtime=27.88 cores=0,2,4,6 /proc/29561/stat : 29561 (xcsp_picat) R 29558 29561 25640 0 -1 4202496 36379 0 0 0 2781 7 0 0 20 0 1 0 409672070 2146754560 20883 33554432000 4194304 5870510 140721239553488 140721239551928 5288957 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 18202624 140721239557151 140721239557229 140721239557229 140721239560138 0 /proc/29561/statm: 524110 20883 993 410 0 519583 0 Current children cumulated CPU time: 27.88 s Current children cumulated vsize: 2096440 KiB Current children cumulated memory: 83532 KiB Child status: 0 Real time (s): 27.9505 CPU time (s): 27.9455 CPU user time (s): 27.8645 CPU system time (s): 0.080986 CPU usage (%): 99.9819 Max. virtual memory (cumulated for all children) (KiB): 2190600 Max. memory (cumulated for all children) (KiB): 116432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 27.8645 system time used= 0.080986 maximum resident set size= 155572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36599 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= 4 involuntary context switches= 87 # summary of solver processes directly reported to runsolver: # pid: 29561 # total CPU time (s): 27.9455 # total CPU user time (s): 27.8645 # total CPU system time (s): 0.080986 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.12427 second user time and 0.23128 second system time The end
Begin job on node106 at 2019-09-13 01:21:37 IDJOB=4394892 IDBENCH=128090 IDSOLVER=2844 FILE ID=node106/4394892-1568334174 RUNJOBID= node106-1568318666-25671 PBS_JOBID= 21701140 Free space on /tmp= 56732 MiB SOLVER NAME= PicatSAT 2019-09-12 BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-16-81.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394892-1568334174/watcher-4394892-1568334174 -o /tmp/evaluation-result-4394892-1568334174/solver-4394892-1568334174 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568318666-25671 --watchdog 2580 xcsp_picat HOME/instance-4394892-1568334174.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e1683218a1e3c524b21c5eaa634d1705 RANDOM SEED=1776780009 node106.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.79 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.79 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.79 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.79 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: 30706024 kB MemAvailable: 31768692 kB Buffers: 137064 kB Cached: 1222196 kB SwapCached: 10084 kB Active: 506708 kB Inactive: 1021292 kB Active(anon): 168280 kB Inactive(anon): 33512 kB Active(file): 338428 kB Inactive(file): 987780 kB Unevictable: 107776 kB Mlocked: 107776 kB SwapTotal: 67108860 kB SwapFree: 66996552 kB Dirty: 3128 kB Writeback: 0 kB AnonPages: 267792 kB Mapped: 38604 kB Shmem: 24176 kB Slab: 133072 kB SReclaimable: 104592 kB SUnreclaim: 28480 kB KernelStack: 3456 kB PageTables: 5676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2672340 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 215040 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 56728 MiB End job on node106 at 2019-09-13 01:22:05