Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Mistral-2.0 2018-06-15 | UNSAT | 60.801 | 60.821 |
Name | Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f05_c18.xml |
MD5SUM | f8050e8ddc741b4fb4a45c7e8cfb7628 |
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 | 12.3018 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 39 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":21,"count":4},{"size":22,"count":10},{"size":32,"count":336},{"size":39,"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 Mistral 16062018 60.77/60.82 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 (3943 MiB free) memory of node 1: 16384 MiB (11682 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291837-1532260847/watcher-4291837-1532260847 -o /tmp/evaluation-result-4291837-1532260847/solver-4291837-1532260847 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532260533-31108 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 353602313 HOME/instance-4291837-1532260847.xml running on 4 cores: 1,3,5,7 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 solver pid=31455, runsolver pid=31452 Current StackSize limit: 8192 KiB [startup+0.100169 s]* /proc/loadavg: 2.00 1.95 1.99 3/188 31456 /proc/meminfo: memFree=15997548/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=31904 memory=6464 CPUtime=0.1 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 1803 0 0 0 10 0 0 0 20 0 1 0 43647852 32669696 1616 33554432000 4194304 7498468 140724979725152 140724979722152 139923047262541 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 7976 1616 700 807 0 967 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 31904 KiB Current children cumulated memory: 6464 KiB [startup+0.209821 s]* /proc/loadavg: 2.00 1.95 1.99 3/188 31456 /proc/meminfo: memFree=15994200/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=35476 memory=10068 CPUtime=0.21 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 2682 0 0 0 21 0 0 0 20 0 1 0 43647852 36327424 2517 33554432000 4194304 7498468 140724979725152 140724979722152 139923043777509 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 8869 2517 700 807 0 1860 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 35476 KiB Current children cumulated memory: 10068 KiB [startup+0.30955 s]* /proc/loadavg: 2.00 1.95 1.99 3/188 31456 /proc/meminfo: memFree=15990852/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=38544 memory=12984 CPUtime=0.31 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 3472 0 0 0 31 0 0 0 20 0 1 0 43647852 39469056 3246 33554432000 4194304 7498468 140724979725152 140724979722152 139923043823664 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 9636 3246 700 807 0 2627 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38544 KiB Current children cumulated memory: 12984 KiB [startup+0.700322 s] /proc/loadavg: 2.00 1.95 1.99 3/188 31456 /proc/meminfo: memFree=15983412/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=50560 memory=25208 CPUtime=0.69 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 6523 0 0 0 68 1 0 0 20 0 1 0 43647852 51773440 6302 33554432000 4194304 7498468 140724979725152 140724979722152 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 12640 6302 700 807 0 5631 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 50560 KiB Current children cumulated memory: 25208 KiB [startup+1.5003 s] /proc/loadavg: 2.00 1.95 1.99 3/188 31456 /proc/meminfo: memFree=15969276/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=74872 memory=49484 CPUtime=1.48 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 12625 0 0 0 146 2 0 0 20 0 1 0 43647852 76668928 12371 33554432000 4194304 7498468 140724979725152 140724979715912 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 18718 12371 700 807 0 11709 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 74872 KiB Current children cumulated memory: 49484 KiB [startup+3.10961 s] /proc/loadavg: 2.00 1.95 1.99 3/188 31456 /proc/meminfo: memFree=15868168/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=160232 memory=134984 CPUtime=3.1 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 43746 0 0 0 304 6 0 0 20 0 1 0 43647852 164077568 33746 33554432000 4194304 7498468 140724979725152 140724979716152 4222944 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 40058 33746 733 807 0 33049 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 160232 KiB Current children cumulated memory: 134984 KiB [startup+6.30037 s] /proc/loadavg: 2.00 1.95 1.99 3/188 31456 /proc/meminfo: memFree=15868364/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=160232 memory=135104 CPUtime=6.28 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 47287 0 0 0 622 6 0 0 20 0 1 0 43647852 164077568 33776 33554432000 4194304 7498468 140724979725152 140724979719576 4397939 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 40058 33776 733 807 0 33049 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 160232 KiB Current children cumulated memory: 135104 KiB [startup+12.7004 s] /proc/loadavg: 2.00 1.95 1.99 3/188 31456 /proc/meminfo: memFree=15868568/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=160364 memory=135124 CPUtime=12.68 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 50890 0 0 0 1262 6 0 0 20 0 1 0 43647852 164212736 33781 33554432000 4194304 7498468 140724979725152 140724979719688 4258039 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 40091 33781 733 807 0 33082 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 160364 KiB Current children cumulated memory: 135124 KiB [startup+25.5004 s] /proc/loadavg: 2.00 1.95 1.99 3/189 31479 /proc/meminfo: memFree=15867556/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=160364 memory=135232 CPUtime=25.48 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 56831 0 0 0 2541 7 0 0 20 0 1 0 43647852 164212736 33808 33554432000 4194304 7498468 140724979725152 140724979719688 4249735 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 40091 33808 733 807 0 33082 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 160364 KiB Current children cumulated memory: 135232 KiB [startup+51.1097 s] /proc/loadavg: 2.00 1.96 1.99 3/189 31479 /proc/meminfo: memFree=15867852/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=160496 memory=135348 CPUtime=51.08 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 59471 0 0 0 5101 7 0 0 20 0 1 0 43647852 164347904 33837 33554432000 4194304 7498468 140724979725152 140724979719416 4408736 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 40124 33837 733 807 0 33115 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 160496 KiB Current children cumulated memory: 135348 KiB [startup+60.821 s] # the end of solver process 31455 was just reported to runsolver # cumulated CPU time of all completed processes: user=60.722 s, system=0.079005 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+51.2004 s] /proc/loadavg: 2.00 1.96 1.99 3/189 31479 /proc/meminfo: memFree=15867852/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=160496 memory=135348 CPUtime=51.18 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 59471 0 0 0 5111 7 0 0 20 0 1 0 43647852 164347904 33837 33554432000 4194304 7498468 140724979725152 140724979719416 4408788 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 40124 33837 733 807 0 33115 0 Current children cumulated CPU time: 51.18 s Current children cumulated vsize: 160496 KiB Current children cumulated memory: 135348 KiB [startup+57.6004 s] /proc/loadavg: 2.00 1.96 1.99 3/189 31479 /proc/meminfo: memFree=15867808/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=160496 memory=135348 CPUtime=57.57 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 59476 0 0 0 5750 7 0 0 20 0 1 0 43647852 164347904 33837 33554432000 4194304 7498468 140724979725152 140724979719416 4258089 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 40124 33837 733 807 0 33115 0 Current children cumulated CPU time: 57.57 s Current children cumulated vsize: 160496 KiB Current children cumulated memory: 135348 KiB [startup+59.2004 s] /proc/loadavg: 2.00 1.96 1.99 3/189 31479 /proc/meminfo: memFree=15867808/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=160496 memory=135348 CPUtime=59.17 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 59476 0 0 0 5910 7 0 0 20 0 1 0 43647852 164347904 33837 33554432000 4194304 7498468 140724979725152 140724979719416 4378930 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 40124 33837 733 807 0 33115 0 Current children cumulated CPU time: 59.17 s Current children cumulated vsize: 160496 KiB Current children cumulated memory: 135348 KiB [startup+60.0004 s]* /proc/loadavg: 2.00 1.96 1.99 3/189 31480 /proc/meminfo: memFree=15867708/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=160496 memory=135348 CPUtime=59.98 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 59476 0 0 0 5991 7 0 0 20 0 1 0 43647852 164347904 33837 33554432000 4194304 7498468 140724979725152 140724979719416 4222944 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 40124 33837 733 807 0 33115 0 Current children cumulated CPU time: 59.98 s Current children cumulated vsize: 160496 KiB Current children cumulated memory: 135348 KiB [startup+60.4003 s] /proc/loadavg: 2.00 1.96 1.99 3/189 31480 /proc/meminfo: memFree=15867708/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=160496 memory=135348 CPUtime=60.37 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 59476 0 0 0 6030 7 0 0 20 0 1 0 43647852 164347904 33837 33554432000 4194304 7498468 140724979725152 140724979719416 4258024 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 40124 33837 733 807 0 33115 0 Current children cumulated CPU time: 60.37 s Current children cumulated vsize: 160496 KiB Current children cumulated memory: 135348 KiB [startup+60.8004 s] /proc/loadavg: 2.00 1.96 1.99 3/189 31480 /proc/meminfo: memFree=15867708/32770624 swapFree=67108860/67108860 [pid=31455] ppid=31452 vsize=160496 memory=135380 CPUtime=60.77 cores=1,3,5,7 /proc/31455/stat : 31455 (MistralXCSP) R 31452 31455 31076 0 -1 4202496 59808 0 0 0 6070 7 0 0 20 0 1 0 43647852 164347904 33845 33554432000 4194304 7498468 140724979725152 140724979719416 4245417 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 13332480 140724979729518 140724979729667 140724979729667 140724979732425 0 /proc/31455/statm: 40124 33845 740 807 0 33115 0 Current children cumulated CPU time: 60.77 s Current children cumulated vsize: 160496 KiB Current children cumulated memory: 135380 KiB Child status: 0 Real time (s): 60.821 CPU time (s): 60.801 CPU user time (s): 60.722 CPU system time (s): 0.079005 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 160496 Max. memory (cumulated for all children) (KiB): 135380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 60.722 system time used= 0.079005 maximum resident set size= 135380 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66637 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= 44 involuntary context switches= 31 # summary of solver processes directly reported to runsolver: # pid: 31455 # total CPU time (s): 60.801 # total CPU user time (s): 60.722 # total CPU system time (s): 0.079005 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.23317 second user time and 0.513625 second system time The end
Begin job on node105 at 2018-07-22 14:00:47 IDJOB=4291837 IDBENCH=141185 IDSOLVER=2741 FILE ID=node105/4291837-1532260847 RUNJOBID= node105-1532260533-31108 PBS_JOBID= 21018967 Free space on /tmp= 44916 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f05_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291837-1532260847/watcher-4291837-1532260847 -o /tmp/evaluation-result-4291837-1532260847/solver-4291837-1532260847 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532260533-31108 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 353602313 HOME/instance-4291837-1532260847.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f8050e8ddc741b4fb4a45c7e8cfb7628 RANDOM SEED=353602313 node105.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.32 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.32 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.32 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.32 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: 16000988 kB MemAvailable: 31804712 kB Buffers: 156104 kB Cached: 15620400 kB SwapCached: 0 kB Active: 1377680 kB Inactive: 14587080 kB Active(anon): 142824 kB Inactive(anon): 65164 kB Active(file): 1234856 kB Inactive(file): 14521916 kB Unevictable: 7308 kB Mlocked: 7308 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9480 kB Writeback: 0 kB AnonPages: 211228 kB Mapped: 36940 kB Shmem: 17036 kB Slab: 502596 kB SReclaimable: 475412 kB SUnreclaim: 27184 kB KernelStack: 3376 kB PageTables: 5352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 480144 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 155648 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44904 MiB End job on node105 at 2018-07-22 14:01:48