Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
miniBTD 2017-06-30 | UNSAT | 21.3826 | 21.3852 |
Name | Mixed/Mixed-xcsp2-nengfa/ color_X2.xml |
MD5SUM | 3d90545a2544e89e20aca976efad7b9e |
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.0194 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 500 |
Number of constraints | 12458 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":500}] |
Minimum variable degree | 34 |
Maximum variable degree | 68 |
Distribution of variable degrees | [{"degree":34,"count":1},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":6},{"degree":38,"count":5},{"degree":39,"count":13},{"degree":40,"count":10},{"degree":41,"count":15},{"degree":42,"count":17},{"degree":43,"count":22},{"degree":44,"count":21},{"degree":45,"count":21},{"degree":46,"count":22},{"degree":47,"count":25},{"degree":48,"count":32},{"degree":49,"count":36},{"degree":50,"count":24},{"degree":51,"count":27},{"degree":52,"count":25},{"degree":53,"count":26},{"degree":54,"count":26},{"degree":55,"count":21},{"degree":56,"count":23},{"degree":57,"count":9},{"degree":58,"count":15},{"degree":59,"count":14},{"degree":60,"count":9},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":6},{"degree":64,"count":4},{"degree":65,"count":3},{"degree":66,"count":1},{"degree":67,"count":2},{"degree":68,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":12458}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 12458 |
Distribution of constraint types | [{"type":"intension","count":12458}] |
Optimization problem | NO |
Type of objective |
3.29/3.36 c Version: 2017-06-30 21.28/21.35 s UNSATISFIABLE 21.28/21.35 c Solving # Nodes: 4336 21.28/21.35 c Global Time: 21.33 s
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4251833-1500923199/watcher-4251833-1500923199 -o /tmp/evaluation-result-4251833-1500923199/solver-4251833-1500923199 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500914976-3528 --watchdog 2560 miniBTD 2400 HOME/instance-4251833-1500923199.xml pid=5580 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.05 3/181 5583 /proc/meminfo: memFree=31842512/32770624 swapFree=5860/118676 [pid=5583] ppid=5580 vsize=26256 CPUtime=0 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 878 0 0 0 0 0 0 0 20 0 1 0 1879326 26886144 678 33554432000 4194304 4832315 140735666566544 140735666563544 4555842 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 6564 678 512 156 0 206 0 [startup+0.100148 s] /proc/loadavg: 2.00 2.01 2.05 3/181 5583 /proc/meminfo: memFree=31842512/32770624 swapFree=5860/118676 [pid=5583] ppid=5580 vsize=27348 CPUtime=0.09 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 1207 0 0 0 9 0 0 0 20 0 1 0 1879326 28004352 955 33554432000 4194304 4832315 140735666566544 140735666563544 140027632884709 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 6837 955 557 156 0 479 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27348 [startup+0.200263 s] /proc/loadavg: 2.00 2.01 2.05 3/181 5583 /proc/meminfo: memFree=31842512/32770624 swapFree=5860/118676 [pid=5583] ppid=5580 vsize=27748 CPUtime=0.19 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 1311 0 0 0 19 0 0 0 20 0 1 0 1879326 28413952 1087 33554432000 4194304 4832315 140735666566544 140735666563544 140027632884709 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 6937 1087 557 156 0 579 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 27748 [startup+0.300255 s] /proc/loadavg: 2.00 2.01 2.05 3/181 5583 /proc/meminfo: memFree=31842512/32770624 swapFree=5860/118676 [pid=5583] ppid=5580 vsize=28148 CPUtime=0.29 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 1412 0 0 0 29 0 0 0 20 0 1 0 1879326 28823552 1153 33554432000 4194304 4832315 140735666566544 140735666563544 140027642229920 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 7037 1153 557 156 0 679 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28148 [startup+0.700218 s] /proc/loadavg: 2.00 2.01 2.05 3/181 5583 /proc/meminfo: memFree=31842512/32770624 swapFree=5860/118676 [pid=5583] ppid=5580 vsize=29784 CPUtime=0.69 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 1802 0 0 0 69 0 0 0 20 0 1 0 1879326 30498816 1549 33554432000 4194304 4832315 140735666566544 140735666563544 140027632882826 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 7446 1549 557 156 0 1088 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29784 [startup+1.50022 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5584 /proc/meminfo: memFree=31836684/32770624 swapFree=5860/118680 [pid=5583] ppid=5580 vsize=32540 CPUtime=1.49 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 2499 0 0 0 149 0 0 0 20 0 1 0 1879326 33320960 2275 33554432000 4194304 4832315 140735666566544 140735666561224 140027632877076 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 8135 2275 557 156 0 1777 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32540 [startup+3.10029 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5584 /proc/meminfo: memFree=31832880/32770624 swapFree=5860/118708 [pid=5583] ppid=5580 vsize=37076 CPUtime=3.09 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 5591 0 0 0 309 0 0 0 20 0 1 0 1879326 37965824 3370 33554432000 4194304 4832315 140735666566544 140735666561224 140027632975672 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 9269 3370 557 156 0 2911 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37076 [startup+6.30032 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5584 /proc/meminfo: memFree=31816980/32770624 swapFree=5860/118708 [pid=5583] ppid=5580 vsize=49864 CPUtime=6.29 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 13138 0 0 0 628 1 0 0 20 0 1 0 1879326 51060736 6607 33554432000 4194304 4832315 140735666566544 140735666564264 140027642331712 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 12466 6607 596 156 0 6108 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49864 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5584 /proc/meminfo: memFree=31816980/32770624 swapFree=5860/118708 [pid=5583] ppid=5580 vsize=49864 CPUtime=12.69 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 17302 0 0 0 1267 2 0 0 20 0 1 0 1879326 51060736 6661 33554432000 4194304 4832315 140735666566544 140735666564264 4359160 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 12466 6661 596 156 0 6108 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49864 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5583 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+12.8004 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5584 /proc/meminfo: memFree=31816980/32770624 swapFree=5860/118708 [pid=5583] ppid=5580 vsize=49864 CPUtime=12.79 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 17302 0 0 0 1277 2 0 0 20 0 1 0 1879326 51060736 6661 33554432000 4194304 4832315 140735666566544 140735666564264 4278252 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 12466 6661 596 156 0 6108 0 Current children cumulated CPU time (s) 12.79 Current children cumulated vsize (KiB) 49864 [startup+16.0003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5584 /proc/meminfo: memFree=31816980/32770624 swapFree=5860/118708 [pid=5583] ppid=5580 vsize=49864 CPUtime=15.99 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 21457 0 0 0 1596 3 0 0 20 0 1 0 1879326 51060736 6661 33554432000 4194304 4832315 140735666566544 140735666564264 4278368 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 12466 6661 596 156 0 6108 0 Current children cumulated CPU time (s) 15.99 Current children cumulated vsize (KiB) 49864 [startup+19.2003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5584 /proc/meminfo: memFree=31816996/32770624 swapFree=5860/118732 [pid=5583] ppid=5580 vsize=49864 CPUtime=19.18 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 21457 0 0 0 1915 3 0 0 20 0 1 0 1879326 51060736 6661 33554432000 4194304 4832315 140735666566544 140735666564264 4277992 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 12466 6661 596 156 0 6108 0 Current children cumulated CPU time (s) 19.18 Current children cumulated vsize (KiB) 49864 [startup+20.0003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5584 /proc/meminfo: memFree=31816996/32770624 swapFree=5860/118740 [pid=5583] ppid=5580 vsize=49864 CPUtime=19.98 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 21457 0 0 0 1995 3 0 0 20 0 1 0 1879326 51060736 6661 33554432000 4194304 4832315 140735666566544 140735666564264 4278240 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 12466 6661 596 156 0 6108 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (KiB) 49864 [startup+20.8003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5584 /proc/meminfo: memFree=31816996/32770624 swapFree=5860/118740 [pid=5583] ppid=5580 vsize=49864 CPUtime=20.78 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 21457 0 0 0 2075 3 0 0 20 0 1 0 1879326 51060736 6661 33554432000 4194304 4832315 140735666566544 140735666564264 4277992 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 12466 6661 596 156 0 6108 0 Current children cumulated CPU time (s) 20.78 Current children cumulated vsize (KiB) 49864 [startup+21.2003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5584 /proc/meminfo: memFree=31816996/32770624 swapFree=5860/118740 [pid=5583] ppid=5580 vsize=49864 CPUtime=21.18 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 21457 0 0 0 2115 3 0 0 20 0 1 0 1879326 51060736 6661 33554432000 4194304 4832315 140735666566544 140735666564264 4362039 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 12466 6661 596 156 0 6108 0 Current children cumulated CPU time (s) 21.18 Current children cumulated vsize (KiB) 49864 [startup+21.3003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5584 /proc/meminfo: memFree=31816996/32770624 swapFree=5860/118740 [pid=5583] ppid=5580 vsize=49864 CPUtime=21.28 cores=1,3,5,7 /proc/5583/stat : 5583 (miniBTD) R 5580 5583 3496 0 -1 4202496 21457 0 0 0 2125 3 0 0 20 0 1 0 1879326 51060736 6661 33554432000 4194304 4832315 140735666566544 140735666564264 4362039 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 25067520 140735666574578 140735666574658 140735666574658 140735666577357 0 /proc/5583/statm: 12466 6661 596 156 0 6108 0 Current children cumulated CPU time (s) 21.28 Current children cumulated vsize (KiB) 49864 Child status: 0 Real time (s): 21.3852 CPU time (s): 21.3826 CPU user time (s): 21.3396 CPU system time (s): 0.042995 CPU usage (%): 99.9876 Max. virtual memory (cumulated for all children) (KiB): 49864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 21.3396 system time used= 0.042995 maximum resident set size= 26672 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23317 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= 6 involuntary context switches= 16 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.030245 second user time and 0.123055 second system time The end
Begin job on node140 at 2017-07-24 21:06:39 IDJOB=4251833 IDBENCH=122864 IDSOLVER=2632 FILE ID=node140/4251833-1500923199 RUNJOBID= node140-1500914976-3528 PBS_JOBID= 20625421 Free space on /tmp= 61656 MiB SOLVER NAME= miniBTD 2017-06-30 BENCH NAME= XCSP17/Mixed/Mixed-xcsp2-nengfa/color_X2.xml COMMAND LINE= miniBTD TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4251833-1500923199/watcher-4251833-1500923199 -o /tmp/evaluation-result-4251833-1500923199/solver-4251833-1500923199 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500914976-3528 --watchdog 2560 miniBTD 2400 HOME/instance-4251833-1500923199.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3d90545a2544e89e20aca976efad7b9e RANDOM SEED=19382796 node140.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.10 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.10 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.10 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.10 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: 31842672 kB MemAvailable: 31797200 kB Buffers: 38524 kB Cached: 230672 kB SwapCached: 0 kB Active: 451040 kB Inactive: 127236 kB Active(anon): 311928 kB Inactive(anon): 8560 kB Active(file): 139112 kB Inactive(file): 118676 kB Unevictable: 5860 kB Mlocked: 5860 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7608 kB Writeback: 8 kB AnonPages: 314908 kB Mapped: 28340 kB Shmem: 8848 kB Slab: 49836 kB SReclaimable: 25152 kB SUnreclaim: 24684 kB KernelStack: 3232 kB PageTables: 5344 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 547980 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 266240 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= 61648 MiB End job on node140 at 2017-07-24 21:07:01