Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | ? (exit code) | 26.2107 | 26.2111 |
Name | Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-11-opt_c18.xml |
MD5SUM | 883afe48e037930c9e115af2d6f001fb |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4097 |
Number of constraints | 3757 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":3417},{"size":6,"count":48},{"size":22,"count":32},{"size":24,"count":18},{"size":36,"count":132},{"size":42,"count":168},{"size":44,"count":282}] |
Minimum variable degree | 1 |
Maximum variable degree | 22 |
Distribution of variable degrees | [{"degree":1,"count":3},{"degree":2,"count":3418},{"degree":3,"count":6},{"degree":4,"count":10},{"degree":5,"count":46},{"degree":6,"count":68},{"degree":7,"count":77},{"degree":8,"count":85},{"degree":9,"count":54},{"degree":10,"count":33},{"degree":11,"count":37},{"degree":12,"count":21},{"degree":13,"count":8},{"degree":14,"count":1},{"degree":15,"count":35},{"degree":16,"count":26},{"degree":17,"count":63},{"degree":18,"count":54},{"degree":19,"count":32},{"degree":20,"count":12},{"degree":21,"count":7},{"degree":22,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":2,"count":340},{"arity":3,"count":3417}] |
Number of extensional constraints | 3757 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":3757}] |
Optimization problem | YES |
Type of objective | min SUM |
26.09/26.18 Solution Error : constraint number 854 (name ) is not valid 26.09/26.18 c 26.09/26.18 c This is cosoco 2.00 -- 26.09/26.18 c 26.09/26.18 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408880-1569811300.xml 26.09/26.18 c enable optimization 26.09/26.18 c ========================================[ Problem Statistics ]=========================================== 26.09/26.18 c | 26.09/26.18 c | Parse time : 10.89 s 26.09/26.18 c | 26.09/26.18 c | Variables: 4097 26.09/26.18 c | Domain Sizes: 2..44 26.09/26.18 c | 26.09/26.18 c | Constraints: 3758 26.09/26.18 c | Arity: 2..3417 -- Binary: 340 -- Ternary: 3417 26.09/26.18 c | 26.09/26.18 c | Types: 26.09/26.18 c | Extension: 3757 (nb tuples: 6..1936) -- (shared: 1958) 26.09/26.18 c | Sum: 1 26.09/26.18 c | 26.09/26.18 c | Objective: Minimize Sum 26.09/26.18 26.09/26.18 c =========================================================================================================
One s line expected
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: 16375 MiB (15395 MiB free) memory of node 1: 16384 MiB (15322 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408880-1569811300/watcher-4408880-1569811300 -o /tmp/evaluation-result-4408880-1569811300/solver-4408880-1569811300 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408880-1569811300.xml running on 4 cores: 0-3 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=32227, runsolver pid=32224 [startup+0.100114 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 32228 /proc/meminfo: memFree=31443488/32770688 swapFree=67001380/67108860 [pid=32227] ppid=32224 vsize=38376 memory=14784 CPUtime=0.1 cores=0-3 /proc/32227/stat : 32227 (cosoco) R 32224 32227 26332 0 -1 4202496 3860 0 0 0 10 0 0 0 20 0 1 0 557071529 39297024 3696 33554432000 4194304 6211132 140735885561968 140735885558504 140086233270155 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 34230272 140735885571083 140735885571185 140735885571185 140735885574094 0 /proc/32227/statm: 9594 3696 817 493 0 2899 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 38376 KiB Current children cumulated memory: 14784 KiB [startup+0.210931 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 32228 /proc/meminfo: memFree=31441380/32770688 swapFree=67001380/67108860 [pid=32227] ppid=32224 vsize=40184 memory=16368 CPUtime=0.21 cores=0-3 /proc/32227/stat : 32227 (cosoco) R 32224 32227 26332 0 -1 4202496 4287 0 0 0 21 0 0 0 20 0 1 0 557071529 41148416 4092 33554432000 4194304 6211132 140735885561968 140735885558504 140086249342080 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 34230272 140735885571083 140735885571185 140735885571185 140735885574094 0 /proc/32227/statm: 10046 4092 817 493 0 3351 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 40184 KiB Current children cumulated memory: 16368 KiB [startup+0.310297 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 32228 /proc/meminfo: memFree=31440264/32770688 swapFree=67001380/67108860 [pid=32227] ppid=32224 vsize=41576 memory=17952 CPUtime=0.31 cores=0-3 /proc/32227/stat : 32227 (cosoco) R 32224 32227 26332 0 -1 4202496 4651 0 0 0 31 0 0 0 20 0 1 0 557071529 42573824 4488 33554432000 4194304 6211132 140735885561968 140735885558504 5818456 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 34230272 140735885571083 140735885571185 140735885571185 140735885574094 0 /proc/32227/statm: 10394 4488 817 493 0 3699 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 41576 KiB Current children cumulated memory: 17952 KiB [startup+0.700252 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32228 /proc/meminfo: memFree=31437312/32770688 swapFree=67001380/67108860 [pid=32227] ppid=32224 vsize=47388 memory=23544 CPUtime=0.69 cores=0-3 /proc/32227/stat : 32227 (cosoco) R 32224 32227 26332 0 -1 4202496 6065 0 0 0 69 0 0 0 20 0 1 0 557071529 48525312 5886 33554432000 4194304 6211132 140735885561968 140735885559240 5483326 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 34230272 140735885571083 140735885571185 140735885571185 140735885574094 0 /proc/32227/statm: 11847 5886 817 493 0 5152 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 47388 KiB Current children cumulated memory: 23544 KiB [startup+1.50026 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32228 /proc/meminfo: memFree=31430264/32770688 swapFree=67001380/67108860 [pid=32227] ppid=32224 vsize=58892 memory=34588 CPUtime=1.49 cores=0-3 /proc/32227/stat : 32227 (cosoco) R 32224 32227 26332 0 -1 4202496 8870 0 0 0 148 1 0 0 20 0 1 0 557071529 60305408 8647 33554432000 4194304 6211132 140735885561968 140735885559240 5818386 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 34230272 140735885571083 140735885571185 140735885571185 140735885574094 0 /proc/32227/statm: 14723 8647 817 493 0 8028 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 58892 KiB Current children cumulated memory: 34588 KiB [startup+3.10027 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32228 /proc/meminfo: memFree=31411208/32770688 swapFree=67001380/67108860 [pid=32227] ppid=32224 vsize=83648 memory=58912 CPUtime=3.09 cores=0-3 /proc/32227/stat : 32227 (cosoco) R 32224 32227 26332 0 -1 4202496 15835 0 0 0 305 4 0 0 20 0 1 0 557071529 85655552 14728 33554432000 4194304 6211132 140735885561968 140735885559240 140086233327520 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 34230272 140735885571083 140735885571185 140735885571185 140735885574094 0 /proc/32227/statm: 20912 14728 817 493 0 14217 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 83648 KiB Current children cumulated memory: 58912 KiB [startup+6.30027 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 32228 /proc/meminfo: memFree=31347448/32770688 swapFree=67001380/67108860 [pid=32227] ppid=32224 vsize=136040 memory=110404 CPUtime=6.3 cores=0-3 /proc/32227/stat : 32227 (cosoco) R 32224 32227 26332 0 -1 4202496 30010 0 0 0 624 6 0 0 20 0 1 0 557071529 139304960 27601 33554432000 4194304 6211132 140735885561968 140735885559240 5685509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 34230272 140735885571083 140735885571185 140735885571185 140735885574094 0 /proc/32227/statm: 34010 27601 817 493 0 27315 0 Current children cumulated CPU time: 6.3 s Current children cumulated vsize: 136040 KiB Current children cumulated memory: 110404 KiB [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32229 /proc/meminfo: memFree=31212416/32770688 swapFree=67001380/67108860 [pid=32227] ppid=32224 vsize=279860 memory=253132 CPUtime=12.69 cores=0-3 /proc/32227/stat : 32227 (cosoco) R 32224 32227 26332 0 -1 4202496 88072 0 0 0 1257 12 0 0 20 0 1 0 557071529 286576640 63283 33554432000 4194304 6211132 140735885561968 140735885559240 140086233348651 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 34230272 140735885571083 140735885571185 140735885571185 140735885574094 0 /proc/32227/statm: 69965 63283 870 493 0 63270 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 279860 KiB Current children cumulated memory: 253132 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32229 /proc/meminfo: memFree=31132808/32770688 swapFree=67001380/67108860 [pid=32227] ppid=32224 vsize=352740 memory=324872 CPUtime=25.49 cores=0-3 /proc/32227/stat : 32227 (cosoco) R 32224 32227 26332 0 -1 4202496 204581 0 0 0 2528 21 0 0 20 0 1 0 557071529 361205760 81218 33554432000 4194304 6211132 140735885561968 140735885559176 5033619 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 34230272 140735885571083 140735885571185 140735885571185 140735885574094 0 /proc/32227/statm: 88185 81218 870 493 0 81490 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 352740 KiB Current children cumulated memory: 324872 KiB [startup+26.2111 s] # the end of solver process 32227 was just reported to runsolver # cumulated CPU time of all completed processes: user=25.9647 s, system=0.246016 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.9004 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32229 /proc/meminfo: memFree=31132808/32770688 swapFree=67001380/67108860 [pid=32227] ppid=32224 vsize=352740 memory=324872 CPUtime=25.89 cores=0-3 /proc/32227/stat : 32227 (cosoco) R 32224 32227 26332 0 -1 4202496 204705 0 0 0 2568 21 0 0 20 0 1 0 557071529 361205760 81218 33554432000 4194304 6211132 140735885561968 140735885559176 5038990 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 34230272 140735885571083 140735885571185 140735885571185 140735885574094 0 /proc/32227/statm: 88185 81218 870 493 0 81490 0 Current children cumulated CPU time: 25.89 s Current children cumulated vsize: 352740 KiB Current children cumulated memory: 324872 KiB [startup+26.1004 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32229 /proc/meminfo: memFree=31132808/32770688 swapFree=67001380/67108860 [pid=32227] ppid=32224 vsize=358612 memory=330452 CPUtime=26.09 cores=0-3 /proc/32227/stat : 32227 (cosoco) R 32224 32227 26332 0 -1 4202496 206576 0 0 0 2587 22 0 0 20 0 1 0 557071529 367218688 82613 33554432000 4194304 6211132 140735885561968 140735885559176 140086233348651 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 34230272 140735885571083 140735885571185 140735885571185 140735885574094 0 /proc/32227/statm: 89653 82613 870 493 0 82958 0 Current children cumulated CPU time: 26.09 s Current children cumulated vsize: 358612 KiB Current children cumulated memory: 330452 KiB Child status: 1 Real time (s): 26.2111 CPU time (s): 26.2107 CPU user time (s): 25.9647 CPU system time (s): 0.246016 CPU usage (%): 99.9985 Max. virtual memory (cumulated for all children) (KiB): 358612 Max. memory (cumulated for all children) (KiB): 330452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.9647 system time used= 0.246016 maximum resident set size= 332864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 207271 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= 24 # summary of solver processes directly reported to runsolver: # pid: 32227 # total CPU time (s): 26.2107 # total CPU user time (s): 25.9647 # total CPU system time (s): 0.246016 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.138562 second user time and 0.24277 second system time The end
Begin job on node116 at 2019-09-30 04:40:58 IDJOB=4408880 IDBENCH=141088 IDSOLVER=2875 FILE ID=node116/4408880-1569811300 RUNJOBID= node116-1569787351-26363 PBS_JOBID= 21705835 Free space on /tmp= 62004 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-graph-11-opt_c18.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408880-1569811300/watcher-4408880-1569811300 -o /tmp/evaluation-result-4408880-1569811300/solver-4408880-1569811300 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408880-1569811300.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 883afe48e037930c9e115af2d6f001fb RANDOM SEED=1667953480 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 31454412 kB MemAvailable: 31849964 kB Buffers: 196964 kB Cached: 518876 kB SwapCached: 3344 kB Active: 408604 kB Inactive: 318624 kB Active(anon): 28960 kB Inactive(anon): 63420 kB Active(file): 379644 kB Inactive(file): 255204 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001380 kB Dirty: 29404 kB Writeback: 0 kB AnonPages: 120568 kB Mapped: 29104 kB Shmem: 72416 kB Slab: 184036 kB SReclaimable: 153080 kB SUnreclaim: 30956 kB KernelStack: 3568 kB PageTables: 5412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 573976 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62000 MiB End job on node116 at 2019-09-30 04:41:24