Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
(reference) PicatSAT 2019-09-12 | OPT | 792 | 104.534 | 104.561 |
Name | Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-05-opt_c18.xml |
MD5SUM | 274cbe62d699e50b76b6a0f77c1be099 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 792 |
Best CPU time to get the best result obtained on this benchmark | 0.471756 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 2598 |
Number of domains | 4 |
Minimum domain size | 6 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}] |
Minimum variable degree | 2 |
Maximum variable degree | 60 |
Distribution of variable degrees | [{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":16},{"degree":5,"count":10},{"degree":6,"count":37},{"degree":7,"count":16},{"degree":8,"count":41},{"degree":9,"count":14},{"degree":10,"count":40},{"degree":11,"count":20},{"degree":12,"count":14},{"degree":13,"count":13},{"degree":14,"count":21},{"degree":15,"count":8},{"degree":16,"count":16},{"degree":17,"count":12},{"degree":18,"count":18},{"degree":19,"count":9},{"degree":20,"count":14},{"degree":21,"count":13},{"degree":22,"count":6},{"degree":23,"count":10},{"degree":24,"count":4},{"degree":25,"count":11},{"degree":26,"count":4},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":2},{"degree":31,"count":3},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":53,"count":1},{"degree":60,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2598}] |
Number of extensional constraints | 2598 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":2598}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
104.47/104.55 c xcsp_picat version 2.7b12 (9/12/2019) 104.47/104.55 o 792 104.47/104.55 s OPTIMUM FOUND 104.47/104.55 v <instantiation> 104.47/104.55 v <list> x[] </list> 104.47/104.55 v <values> 156 394 156 394 722 484 142 380 526 764 282 44 128 366 414 652 792 554 554 792 16 254 792 554 666 428 442 680 72 310 428 666 128 366 792 554 44 282 254 16 442 680 750 512 254 16 324 86 736 498 792 554 324 86 764 526 310 72 428 666 778 540 484 722 58 296 100 338 254 16 254 16 58 296 554 792 296 58 296 58 16 254 30 268 296 58 366 128 128 366 16 254 268 30 736 498 156 394 408 170 792 554 254 16 156 394 324 86 554 792 512 750 380 142 30 268 296 58 254 16 156 394 442 680 282 44 254 16 792 554 442 680 394 156 394 156 282 44 694 456 680 442 778 540 456 694 694 456 100 338 338 100 352 114 30 268 764 526 722 484 764 526 380 142 268 30 428 666 764 526 778 540 394 156 16 254 764 526 792 554 338 100 380 142 694 456 282 44 694 456 666 428 428 666 128 366 72 310 428 666 652 414 792 554 254 16 428 666 540 778 380 142 128 366 708 470 512 750 268 30 526 764 470 708 30 268 58 296 554 792 666 428 44 282 764 526 366 128 652 414 380 142 512 750 268 30 428 666 296 58 680 442 268 30 498 736 268 30 324 86 310 72 100 338 750 512 540 778 540 778 778 540 30 268 310 72 428 666 114 352 666 428 114 352 128 366 128 366 30 268 296 58 694 456 792 554 414 652 394 156 778 540 296 58 254 16 296 58 694 456 128 366 254 16 540 778 442 680 680 442 470 708 324 86 30 268 484 722 540 778 58 296 666 428 128 366 484 722 540 778 16 254 324 86 296 58 128 366 498 736 44 282 722 484 512 750 268 30 694 456 268 30 526 764 428 666 282 44 764 526 58 296 540 778 30 268 484 722 428 666 268 30 428 666 268 30 268 30 694 456 764 526 86 324 114 352 338 100 44 282 </values> 104.47/104.55 v </instantiation>
OK 792
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 (14550 MiB free) memory of node 1: 16384 MiB (13049 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407888-1569514302/watcher-4407888-1569514302 -o /var/tmp/evaluation-result-4407888-1569514302/solver-4407888-1569514302 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569505917-18174 --watchdog 2560 xcsp_picat HOME/instance-4407888-1569514302.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=19488, runsolver pid=19485 [startup+0.100976 s]* /proc/loadavg: 2.09 2.05 2.04 3/198 19489 /proc/meminfo: memFree=28244764/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2031716 memory=24236 CPUtime=0.09 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 1640 0 0 0 9 0 0 0 20 0 1 0 527685411 2080477184 6059 33554432000 4194304 5870510 140726168660464 140726168659768 4524345 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 507929 6059 842 410 0 503402 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 24236 KiB [startup+0.209926 s]* /proc/loadavg: 2.09 2.05 2.04 3/198 19489 /proc/meminfo: memFree=28232596/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2031716 memory=34476 CPUtime=0.2 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 1645 0 0 0 20 0 0 0 20 0 1 0 527685411 2080477184 8619 33554432000 4194304 5870510 140726168660464 140726168659768 4462624 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 507929 8619 842 410 0 503402 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 34476 KiB [startup+0.309535 s]* /proc/loadavg: 2.09 2.05 2.04 3/198 19489 /proc/meminfo: memFree=28222356/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2031716 memory=44716 CPUtime=0.3 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 1653 0 0 0 30 0 0 0 20 0 1 0 527685411 2080477184 11179 33554432000 4194304 5870510 140726168660464 140726168659768 4459637 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 507929 11179 842 410 0 503402 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 44716 KiB [startup+0.700323 s] /proc/loadavg: 2.09 2.05 2.04 3/198 19489 /proc/meminfo: memFree=28200760/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2031716 memory=83752 CPUtime=0.68 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 1697 0 0 0 68 0 0 0 20 0 1 0 527685411 2080477184 20938 33554432000 4194304 5870510 140726168660464 140726168659768 4849244 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 507929 20938 847 410 0 503402 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 83752 KiB [startup+1.50032 s] /proc/loadavg: 2.09 2.05 2.04 3/198 19489 /proc/meminfo: memFree=28117228/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2031716 memory=255944 CPUtime=1.49 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 1798 0 0 0 146 3 0 0 20 0 1 0 527685411 2080477184 63986 33554432000 4194304 5870510 140726168660464 140726168659768 4456112 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 507929 63986 881 410 0 503402 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 2031716 KiB Current children cumulated memory: 255944 KiB [startup+3.10934 s] /proc/loadavg: 2.08 2.05 2.04 3/198 19489 /proc/meminfo: memFree=27994976/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2081792 memory=326120 CPUtime=3.1 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 16559 0 0 0 304 6 0 0 20 0 1 0 527685411 2131755008 81530 33554432000 4194304 5870510 140726168660464 140726168659576 4466469 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 520448 81530 952 410 0 515921 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2081792 KiB Current children cumulated memory: 326120 KiB [startup+6.30024 s] /proc/loadavg: 2.08 2.05 2.04 3/198 19489 /proc/meminfo: memFree=27986028/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2078268 memory=321028 CPUtime=6.28 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 20305 0 0 0 621 7 0 0 20 0 1 0 527685411 2128146432 80257 33554432000 4194304 5870510 140726168660464 140726168659576 4490981 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 519567 80257 958 410 0 515040 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 2078268 KiB Current children cumulated memory: 321028 KiB [startup+12.7002 s] /proc/loadavg: 2.07 2.05 2.04 3/198 19489 /proc/meminfo: memFree=27956724/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2089752 memory=334868 CPUtime=12.68 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 29349 0 0 0 1258 10 0 0 20 0 1 0 527685411 2139906048 83717 33554432000 4194304 5870510 140726168660464 140726168659720 5550288 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 522438 83717 961 410 0 517911 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 2089752 KiB Current children cumulated memory: 334868 KiB [startup+25.5003 s] /proc/loadavg: 2.06 2.05 2.04 3/199 19497 /proc/meminfo: memFree=27945808/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2124208 memory=367724 CPUtime=25.48 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 44129 0 0 0 2533 15 0 0 20 0 1 0 527685411 2175188992 91931 33554432000 4194304 5870510 140726168660464 140726168659656 5337171 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 531052 91931 963 410 0 526525 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 2124208 KiB Current children cumulated memory: 367724 KiB [startup+51.1094 s] /proc/loadavg: 2.04 2.04 2.04 3/199 19500 /proc/meminfo: memFree=27954748/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2093856 memory=342508 CPUtime=51.08 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 57914 0 0 0 5085 23 0 0 20 0 1 0 527685411 2144108544 85627 33554432000 4194304 5870510 140726168660464 140726168659720 5406867 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 523464 85627 983 410 0 518937 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 2093856 KiB Current children cumulated memory: 342508 KiB [startup+102.3 s] /proc/loadavg: 2.02 2.04 2.04 3/199 19503 /proc/meminfo: memFree=27978524/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2124192 memory=367392 CPUtime=102.26 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 78511 0 0 0 10187 39 0 0 20 0 1 0 527685411 2175172608 91848 33554432000 4194304 5870510 140726168660464 140726168659640 5337297 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 531048 91848 983 410 0 526521 0 Current children cumulated CPU time: 102.26 s Current children cumulated vsize: 2124192 KiB Current children cumulated memory: 367392 KiB [startup+104.561 s] # the end of solver process 19488 was just reported to runsolver # cumulated CPU time of all completed processes: user=104.13 s, system=0.403909 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+102.4 s] /proc/loadavg: 2.02 2.04 2.04 3/199 19503 /proc/meminfo: memFree=27978524/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2124192 memory=367392 CPUtime=102.36 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 78511 0 0 0 10197 39 0 0 20 0 1 0 527685411 2175172608 91848 33554432000 4194304 5870510 140726168660464 140726168659640 5337472 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 531048 91848 983 410 0 526521 0 Current children cumulated CPU time: 102.36 s Current children cumulated vsize: 2124192 KiB Current children cumulated memory: 367392 KiB [startup+103.2 s] /proc/loadavg: 2.02 2.04 2.04 3/199 19503 /proc/meminfo: memFree=27974988/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2124192 memory=369440 CPUtime=103.16 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 78512 0 0 0 10277 39 0 0 20 0 1 0 527685411 2175172608 92360 33554432000 4194304 5870510 140726168660464 140726168659640 5337516 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 531048 92360 983 410 0 526521 0 Current children cumulated CPU time: 103.16 s Current children cumulated vsize: 2124192 KiB Current children cumulated memory: 369440 KiB [startup+104 s]* /proc/loadavg: 2.02 2.04 2.04 3/199 19503 /proc/meminfo: memFree=27989152/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2124192 memory=369440 CPUtime=103.97 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 78512 0 0 0 10358 39 0 0 20 0 1 0 527685411 2175172608 92360 33554432000 4194304 5870510 140726168660464 140726168659640 5337297 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 531048 92360 983 410 0 526521 0 Current children cumulated CPU time: 103.97 s Current children cumulated vsize: 2124192 KiB Current children cumulated memory: 369440 KiB [startup+104.4 s] /proc/loadavg: 2.02 2.04 2.04 3/199 19503 /proc/meminfo: memFree=27989152/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2154540 memory=390740 CPUtime=104.37 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 78760 0 0 0 10397 40 0 0 20 0 1 0 527685411 2206248960 97685 33554432000 4194304 5870510 140726168660464 140726168659640 5282357 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 538635 97685 983 410 0 534108 0 Current children cumulated CPU time: 104.37 s Current children cumulated vsize: 2154540 KiB Current children cumulated memory: 390740 KiB [startup+104.5 s] /proc/loadavg: 2.02 2.04 2.04 3/199 19503 /proc/meminfo: memFree=27989152/32770624 swapFree=66954412/67108860 [pid=19488] ppid=19485 vsize=2154540 memory=390740 CPUtime=104.47 cores=0,2,4,6 /proc/19488/stat : 19488 (xcsp_picat) R 19485 19488 18143 0 -1 4202496 78760 0 0 0 10407 40 0 0 20 0 1 0 527685411 2206248960 97685 33554432000 4194304 5870510 140726168660464 140726168659640 5307177 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32215040 140726168667143 140726168667225 140726168667225 140726168670150 0 /proc/19488/statm: 538635 97685 983 410 0 534108 0 Current children cumulated CPU time: 104.47 s Current children cumulated vsize: 2154540 KiB Current children cumulated memory: 390740 KiB Child status: 0 Real time (s): 104.561 CPU time (s): 104.534 CPU user time (s): 104.13 CPU system time (s): 0.403909 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 2154552 Max. memory (cumulated for all children) (KiB): 391320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 104.13 system time used= 0.403909 maximum resident set size= 391320 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78838 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= 153 # summary of solver processes directly reported to runsolver: # pid: 19488 # total CPU time (s): 104.534 # total CPU user time (s): 104.13 # total CPU system time (s): 0.403909 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.416572 second user time and 0.748493 second system time The end
Begin job on node107 at 2019-09-26 17:09:37 IDJOB=4407888 IDBENCH=141096 IDSOLVER=2873 FILE ID=node107/4407888-1569514302 RUNJOBID= node107-1569505917-18174 PBS_JOBID= 21705798 Free space on /var/tmp= 12556 MiB SOLVER NAME= PicatSAT 2019-09-12 BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-scen-05-opt_c18.xml COMMAND LINE= xcsp_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407888-1569514302/watcher-4407888-1569514302 -o /var/tmp/evaluation-result-4407888-1569514302/solver-4407888-1569514302 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569505917-18174 --watchdog 2560 xcsp_picat HOME/instance-4407888-1569514302.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 274cbe62d699e50b76b6a0f77c1be099 RANDOM SEED=809156286 node107.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 : 5334.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 : 5334.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 : 5334.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 : 5334.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: 28262160 kB MemAvailable: 31427456 kB Buffers: 120828 kB Cached: 3202560 kB SwapCached: 48076 kB Active: 2362376 kB Inactive: 1369136 kB Active(anon): 375272 kB Inactive(anon): 102960 kB Active(file): 1987104 kB Inactive(file): 1266176 kB Unevictable: 111000 kB Mlocked: 111000 kB SwapTotal: 67108860 kB SwapFree: 66954412 kB Dirty: 4484 kB Writeback: 0 kB AnonPages: 472156 kB Mapped: 23684 kB Shmem: 61168 kB Slab: 369208 kB SReclaimable: 340476 kB SUnreclaim: 28732 kB KernelStack: 3552 kB PageTables: 6116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2862404 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 339968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /var/tmp at the end= 12552 MiB End job on node107 at 2019-09-26 17:11:22