Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
NACRE 1.0.5-Hybrid | UNSAT | 4.9855 | 4.98607 |
Name | Rlfap_mini/Rlfap-dec-scens11_mini/ Rlfap-ext-scen-11-f04_c18.xml |
MD5SUM | 297c804b8c4092219cf99e305dde67fa |
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 | 4.9855 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 40 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":14},{"size":33,"count":336},{"size":40,"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 | 4103 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":4103}] |
Optimization problem | NO |
Type of objective |
0.20/0.24 c NACRE 1.0.5 4.89/4.98 c 4.89/4.98 c # time = 4.97 4.89/4.98 c # Dec = 13869 4.89/4.98 c # Propagate Calls = 13318577 4.89/4.98 c # assignAt Calls = 19265 4.89/4.98 c # removeAt Calls = 2661617 4.89/4.98 c # Run = 60 4.89/4.98 c # Conflicts = 13476 4.89/4.98 c # Memory used = 67.924 Mb 4.89/4.98 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 (10061 MiB free) memory of node 1: 16384 MiB (14209 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391400-1568321392/watcher-4391400-1568321392 -o /tmp/evaluation-result-4391400-1568321392/solver-4391400-1568321392 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23462 --watchdog 2560 nacre_mini_release HOME/instance-4391400-1568321392.xml -ca -l100 -cm 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 Current StackSize limit: 8192 KiB solver pid=28301, runsolver pid=28298 [startup+0.100165 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 28302 /proc/meminfo: memFree=24832844/32770624 swapFree=67004752/67108860 [pid=28301] ppid=28298 vsize=48912 memory=25092 CPUtime=0.09 cores=1,3,5,7 /proc/28301/stat : 28301 (nacre_mini_rele) R 28298 28301 11220 0 -1 4202496 6741 0 0 0 9 0 0 0 20 0 1 0 408406978 50085888 6273 33554432000 4194304 4935366 140727569591168 140727569588168 140025654770661 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27549696 140727569593345 140727569593445 140727569593445 140727569596354 0 /proc/28301/statm: 12228 6273 561 181 0 5845 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 48912 KiB Current children cumulated memory: 25092 KiB [startup+0.209776 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 28302 /proc/meminfo: memFree=24810260/32770624 swapFree=67004752/67108860 [pid=28301] ppid=28298 vsize=71248 memory=47268 CPUtime=0.2 cores=1,3,5,7 /proc/28301/stat : 28301 (nacre_mini_rele) R 28298 28301 11220 0 -1 4202496 12299 0 0 0 19 1 0 0 20 0 1 0 408406978 72957952 11817 33554432000 4194304 4935366 140727569591168 140727569588168 140025654770661 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27549696 140727569593345 140727569593445 140727569593445 140727569596354 0 /proc/28301/statm: 17812 11817 561 181 0 11429 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 71248 KiB Current children cumulated memory: 47268 KiB [startup+0.309676 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 28302 /proc/meminfo: memFree=24802076/32770624 swapFree=67004752/67108860 [pid=28301] ppid=28298 vsize=76920 memory=53076 CPUtime=0.31 cores=1,3,5,7 /proc/28301/stat : 28301 (nacre_mini_rele) R 28298 28301 11220 0 -1 4202496 13746 0 0 0 29 2 0 0 20 0 1 0 408406978 78766080 13269 33554432000 4194304 4935366 140727569591168 140727569588168 140025654766398 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27549696 140727569593345 140727569593445 140727569593445 140727569596354 0 /proc/28301/statm: 19230 13269 600 181 0 12847 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 76920 KiB Current children cumulated memory: 53076 KiB [startup+0.700295 s] /proc/loadavg: 2.00 2.01 2.05 3/199 28302 /proc/meminfo: memFree=24800960/32770624 swapFree=67004752/67108860 [pid=28301] ppid=28298 vsize=78504 memory=54660 CPUtime=0.69 cores=1,3,5,7 /proc/28301/stat : 28301 (nacre_mini_rele) R 28298 28301 11220 0 -1 4202496 14146 0 0 0 67 2 0 0 20 0 1 0 408406978 80388096 13665 33554432000 4194304 4935366 140727569591168 140727569588168 140025654770661 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27549696 140727569593345 140727569593445 140727569593445 140727569596354 0 /proc/28301/statm: 19626 13665 600 181 0 13243 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 78504 KiB Current children cumulated memory: 54660 KiB [startup+1.50031 s] /proc/loadavg: 2.00 2.01 2.05 3/199 28302 /proc/meminfo: memFree=24798888/32770624 swapFree=67004752/67108860 [pid=28301] ppid=28298 vsize=81808 memory=57828 CPUtime=1.49 cores=1,3,5,7 /proc/28301/stat : 28301 (nacre_mini_rele) R 28298 28301 11220 0 -1 4202496 14950 0 0 0 147 2 0 0 20 0 1 0 408406978 83771392 14457 33554432000 4194304 4935366 140727569591168 140727569588712 140025654770661 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27549696 140727569593345 140727569593445 140727569593445 140727569596354 0 /proc/28301/statm: 20452 14457 600 181 0 14069 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 81808 KiB Current children cumulated memory: 57828 KiB [startup+3.1096 s] /proc/loadavg: 2.00 2.01 2.05 3/199 28302 /proc/meminfo: memFree=24791076/32770624 swapFree=67004752/67108860 [pid=28301] ppid=28298 vsize=87844 memory=63828 CPUtime=3.1 cores=1,3,5,7 /proc/28301/stat : 28301 (nacre_mini_rele) R 28298 28301 11220 0 -1 4202496 19961 0 0 0 308 2 0 0 20 0 1 0 408406978 89952256 15957 33554432000 4194304 4935366 140727569591168 140727569588920 140025654770661 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27549696 140727569593345 140727569593445 140727569593445 140727569596354 0 /proc/28301/statm: 21961 15957 600 181 0 15578 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 87844 KiB Current children cumulated memory: 63828 KiB [startup+4.98602 s] # the end of solver process 28301 was just reported to runsolver # cumulated CPU time of all completed processes: user=4.94951 s, system=0.035996 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20043 s] /proc/loadavg: 2.00 2.01 2.05 3/199 28302 /proc/meminfo: memFree=24791076/32770624 swapFree=67004752/67108860 [pid=28301] ppid=28298 vsize=88248 memory=64092 CPUtime=3.19 cores=1,3,5,7 /proc/28301/stat : 28301 (nacre_mini_rele) R 28298 28301 11220 0 -1 4202496 20056 0 0 0 317 2 0 0 20 0 1 0 408406978 90365952 16023 33554432000 4194304 4935366 140727569591168 140727569588920 140025654770661 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27549696 140727569593345 140727569593445 140727569593445 140727569596354 0 /proc/28301/statm: 22062 16023 600 181 0 15679 0 Current children cumulated CPU time: 3.19 s Current children cumulated vsize: 88248 KiB Current children cumulated memory: 64092 KiB [startup+4.0003 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 28302 /proc/meminfo: memFree=24787852/32770624 swapFree=67004752/67108860 [pid=28301] ppid=28298 vsize=90228 memory=66392 CPUtime=3.99 cores=1,3,5,7 /proc/28301/stat : 28301 (nacre_mini_rele) R 28298 28301 11220 0 -1 4202496 25217 0 0 0 397 2 0 0 20 0 1 0 408406978 92393472 16598 33554432000 4194304 4935366 140727569591168 140727569588728 4390143 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27549696 140727569593345 140727569593445 140727569593445 140727569596354 0 /proc/28301/statm: 22557 16598 600 181 0 16174 0 Current children cumulated CPU time: 3.99 s Current children cumulated vsize: 90228 KiB Current children cumulated memory: 66392 KiB [startup+4.40029 s] /proc/loadavg: 2.00 2.01 2.05 3/199 28302 /proc/meminfo: memFree=24787852/32770624 swapFree=67004752/67108860 [pid=28301] ppid=28298 vsize=91020 memory=67152 CPUtime=4.39 cores=1,3,5,7 /proc/28301/stat : 28301 (nacre_mini_rele) R 28298 28301 11220 0 -1 4202496 25934 0 0 0 436 3 0 0 20 0 1 0 408406978 93204480 16788 33554432000 4194304 4935366 140727569591168 140727569588728 4390489 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27549696 140727569593345 140727569593445 140727569593445 140727569596354 0 /proc/28301/statm: 22755 16788 600 181 0 16372 0 Current children cumulated CPU time: 4.39 s Current children cumulated vsize: 91020 KiB Current children cumulated memory: 67152 KiB [startup+4.80029 s] /proc/loadavg: 2.00 2.01 2.05 3/199 28302 /proc/meminfo: memFree=24787852/32770624 swapFree=67004752/67108860 [pid=28301] ppid=28298 vsize=91548 memory=67660 CPUtime=4.79 cores=1,3,5,7 /proc/28301/stat : 28301 (nacre_mini_rele) R 28298 28301 11220 0 -1 4202496 26088 0 0 0 476 3 0 0 20 0 1 0 408406978 93745152 16915 33554432000 4194304 4935366 140727569591168 140727569588728 140025654770661 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27549696 140727569593345 140727569593445 140727569593445 140727569596354 0 /proc/28301/statm: 22887 16915 600 181 0 16504 0 Current children cumulated CPU time: 4.79 s Current children cumulated vsize: 91548 KiB Current children cumulated memory: 67660 KiB [startup+4.90031 s] /proc/loadavg: 2.00 2.01 2.05 3/199 28302 /proc/meminfo: memFree=24787852/32770624 swapFree=67004752/67108860 [pid=28301] ppid=28298 vsize=91680 memory=67660 CPUtime=4.89 cores=1,3,5,7 /proc/28301/stat : 28301 (nacre_mini_rele) R 28298 28301 11220 0 -1 4202496 26115 0 0 0 486 3 0 0 20 0 1 0 408406978 93880320 16915 33554432000 4194304 4935366 140727569591168 140727569588728 140025654770661 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 27549696 140727569593345 140727569593445 140727569593445 140727569596354 0 /proc/28301/statm: 22920 16915 600 181 0 16537 0 Current children cumulated CPU time: 4.89 s Current children cumulated vsize: 91680 KiB Current children cumulated memory: 67660 KiB Child status: 20 Real time (s): 4.98607 CPU time (s): 4.9855 CPU user time (s): 4.94951 CPU system time (s): 0.035996 CPU usage (%): 99.9885 Max. virtual memory (cumulated for all children) (KiB): 91680 Max. memory (cumulated for all children) (KiB): 67660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.94951 system time used= 0.035996 maximum resident set size= 68008 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26186 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= 7 involuntary context switches= 7 # summary of solver processes directly reported to runsolver: # pid: 28301 # total CPU time (s): 4.9855 # total CPU user time (s): 4.94951 # total CPU system time (s): 0.035996 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.039067 second user time and 0.072895 second system time The end
Begin job on node126 at 2019-09-12 22:49:14 IDJOB=4391400 IDBENCH=141069 IDSOLVER=2834 FILE ID=node126/4391400-1568321392 RUNJOBID= node126-1568301555-23462 PBS_JOBID= 21701113 Free space on /tmp= 55384 MiB SOLVER NAME= NACRE 1.0.5-Hybrid BENCH NAME= XCSP18/Rlfap_mini/Rlfap-dec-scens11_mini/Rlfap-ext-scen-11-f04_c18.xml COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391400-1568321392/watcher-4391400-1568321392 -o /tmp/evaluation-result-4391400-1568321392/solver-4391400-1568321392 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23462 --watchdog 2560 nacre_mini_release HOME/instance-4391400-1568321392.xml -ca -l100 -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 297c804b8c4092219cf99e305dde67fa RANDOM SEED=1672584289 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24852880 kB MemAvailable: 28018536 kB Buffers: 116604 kB Cached: 3299656 kB SwapCached: 2860 kB Active: 5671056 kB Inactive: 1591868 kB Active(anon): 3844676 kB Inactive(anon): 43292 kB Active(file): 1826380 kB Inactive(file): 1548576 kB Unevictable: 109112 kB Mlocked: 109112 kB SwapTotal: 67108860 kB SwapFree: 67004752 kB Dirty: 804 kB Writeback: 0 kB AnonPages: 3953812 kB Mapped: 44352 kB Shmem: 32816 kB Slab: 242784 kB SReclaimable: 213072 kB SUnreclaim: 29712 kB KernelStack: 3536 kB PageTables: 13040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4368788 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 362496 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= 55384 MiB End job on node126 at 2019-09-12 22:49:19