Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
miniBTD 19.06.16 | ? (MO) | 30.2651 | 30.274 |
Name | Subisomorphism/Subisomorphism-m1-si4-rand/ Subisomorphism-si4-r005-m600-07.xml |
MD5SUM | 1982aa996c838b28e3c9b82540ec3331 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1144.16 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 240 |
Number of constraints | 2771 |
Number of domains | 1 |
Minimum domain size | 600 |
Maximum domain size | 600 |
Distribution of domain sizes | [{"size":600,"count":240}] |
Minimum variable degree | 13 |
Maximum variable degree | 36 |
Distribution of variable degrees | [{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":7},{"degree":17,"count":4},{"degree":18,"count":12},{"degree":19,"count":4},{"degree":20,"count":19},{"degree":21,"count":13},{"degree":22,"count":24},{"degree":23,"count":26},{"degree":24,"count":17},{"degree":25,"count":19},{"degree":26,"count":15},{"degree":27,"count":24},{"degree":28,"count":14},{"degree":29,"count":12},{"degree":30,"count":4},{"degree":31,"count":4},{"degree":32,"count":4},{"degree":33,"count":4},{"degree":34,"count":4},{"degree":35,"count":3},{"degree":36,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 240 |
Distribution of constraint arities | [{"arity":2,"count":2770},{"arity":240,"count":1}] |
Number of extensional constraints | 2770 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":2770},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c Version 19.06.16
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: 16374 MiB (3517 MiB free) memory of node 1: 16384 MiB (11674 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391929-1568310936/watcher-4391929-1568310936 -o /tmp/evaluation-result-4391929-1568310936/solver-4391929-1568310936 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568310656-7023 --watchdog 2560 miniBTD 2400 HOME/instance-4391929-1568310936.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 Current StackSize limit: 8192 KiB solver pid=7518, runsolver pid=7515 [startup+0.100166 s]* /proc/loadavg: 1.98 1.47 1.30 3/200 7519 /proc/meminfo: memFree=15509564/32770624 swapFree=66939724/67108860 [pid=7518] ppid=7515 vsize=79880 memory=54696 CPUtime=0.1 cores=1,3,5,7 /proc/7518/stat : 7518 (miniBTD) R 7515 7518 6991 0 -1 4202496 14201 0 0 0 9 1 0 0 20 0 1 0 407360479 81797120 13674 33554432000 4194304 5326806 140729427116096 140729427112744 140653073132517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 23265280 140729427121184 140729427121264 140729427121264 140729427124173 0 /proc/7518/statm: 19970 13674 601 277 0 13491 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 79880 KiB Current children cumulated memory: 54696 KiB [startup+0.2098 s]* /proc/loadavg: 1.98 1.47 1.30 3/200 7519 /proc/meminfo: memFree=15444092/32770624 swapFree=66939724/67108860 [pid=7518] ppid=7515 vsize=144500 memory=119376 CPUtime=0.21 cores=1,3,5,7 /proc/7518/stat : 7518 (miniBTD) R 7515 7518 6991 0 -1 4202496 30355 0 0 0 18 3 0 0 20 0 1 0 407360479 147968000 29844 33554432000 4194304 5326806 140729427116096 140729427112744 140653073180654 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 23265280 140729427121184 140729427121264 140729427121264 140729427124173 0 /proc/7518/statm: 36125 29844 601 277 0 29646 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 144500 KiB Current children cumulated memory: 119376 KiB [startup+0.309711 s]* /proc/loadavg: 1.98 1.47 1.30 3/200 7519 /proc/meminfo: memFree=15385336/32770624 swapFree=66939724/67108860 [pid=7518] ppid=7515 vsize=202612 memory=177456 CPUtime=0.31 cores=1,3,5,7 /proc/7518/stat : 7518 (miniBTD) R 7515 7518 6991 0 -1 4202496 44889 0 0 0 26 5 0 0 20 0 1 0 407360479 207474688 44364 33554432000 4194304 5326806 140729427116096 140729427112744 4401872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 23265280 140729427121184 140729427121264 140729427121264 140729427124173 0 /proc/7518/statm: 50653 44364 601 277 0 44174 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 202612 KiB Current children cumulated memory: 177456 KiB [startup+0.700372 s] /proc/loadavg: 1.98 1.47 1.30 3/200 7519 /proc/meminfo: memFree=15266060/32770624 swapFree=66939724/67108860 [pid=7518] ppid=7515 vsize=425416 memory=400272 CPUtime=0.69 cores=1,3,5,7 /proc/7518/stat : 7518 (miniBTD) R 7515 7518 6991 0 -1 4202496 100596 0 0 0 57 12 0 0 20 0 1 0 407360479 435625984 100068 33554432000 4194304 5326806 140729427116096 140729427112744 140653073180657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 23265280 140729427121184 140729427121264 140729427121264 140729427124173 0 /proc/7518/statm: 106354 100068 601 277 0 99875 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 425416 KiB Current children cumulated memory: 400272 KiB [startup+1.50038 s] /proc/loadavg: 1.98 1.47 1.30 3/200 7519 /proc/meminfo: memFree=14982224/32770624 swapFree=66939724/67108860 [pid=7518] ppid=7515 vsize=895552 memory=870456 CPUtime=1.49 cores=1,3,5,7 /proc/7518/stat : 7518 (miniBTD) R 7515 7518 6991 0 -1 4202496 218136 0 0 0 123 26 0 0 20 0 1 0 407360479 917045248 217614 33554432000 4194304 5326806 140729427116096 140729427112744 140653073132517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 23265280 140729427121184 140729427121264 140729427121264 140729427124173 0 /proc/7518/statm: 223888 217614 601 277 0 217409 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 895552 KiB Current children cumulated memory: 870456 KiB [startup+3.10966 s] /proc/loadavg: 1.98 1.47 1.30 3/200 7519 /proc/meminfo: memFree=13808936/32770624 swapFree=66939724/67108860 [pid=7518] ppid=7515 vsize=1830044 memory=1804952 CPUtime=3.1 cores=1,3,5,7 /proc/7518/stat : 7518 (miniBTD) R 7515 7518 6991 0 -1 4202496 453089 0 0 0 257 53 0 0 20 0 1 0 407360479 1873965056 451238 33554432000 4194304 5326806 140729427116096 140729427112744 4459903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 23265280 140729427121184 140729427121264 140729427121264 140729427124173 0 /proc/7518/statm: 457511 451238 601 277 0 451032 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 1830044 KiB Current children cumulated memory: 1804952 KiB [startup+6.30036 s] /proc/loadavg: 1.98 1.48 1.30 3/200 7519 /proc/meminfo: memFree=12081644/32770624 swapFree=66939724/67108860 [pid=7518] ppid=7515 vsize=3665732 memory=3640428 CPUtime=6.3 cores=1,3,5,7 /proc/7518/stat : 7518 (miniBTD) R 7515 7518 6991 0 -1 4202496 914008 0 0 0 522 108 0 0 20 0 1 0 407360479 3753709568 910107 33554432000 4194304 5326806 140729427116096 140729427110904 140653073180657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 23265280 140729427121184 140729427121264 140729427121264 140729427124173 0 /proc/7518/statm: 916433 910107 601 277 0 909954 0 Current children cumulated CPU time: 6.3 s Current children cumulated vsize: 3665732 KiB Current children cumulated memory: 3640428 KiB [startup+12.7004 s] /proc/loadavg: 1.98 1.49 1.31 3/199 7520 /proc/meminfo: memFree=8686224/32770624 swapFree=66939724/67108860 [pid=7518] ppid=7515 vsize=7270216 memory=7245108 CPUtime=12.69 cores=1,3,5,7 /proc/7518/stat : 7518 (miniBTD) R 7515 7518 6991 0 -1 4202496 1820070 0 0 0 1055 214 0 0 20 0 1 0 407360479 7444701184 1811277 33554432000 4194304 5326806 140729427116096 140729427110904 140653073132517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 23265280 140729427121184 140729427121264 140729427121264 140729427124173 0 /proc/7518/statm: 1817587 1811277 601 277 0 1811108 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 7270216 KiB Current children cumulated memory: 7245108 KiB [startup+25.5004 s] /proc/loadavg: 1.98 1.51 1.32 3/199 7645 /proc/meminfo: memFree=7066688/32770624 swapFree=66939724/67108860 [pid=7518] ppid=7515 vsize=13979300 memory=13954348 CPUtime=25.48 cores=1,3,5,7 /proc/7518/stat : 7518 (miniBTD) R 7515 7518 6991 0 -1 4202496 3499627 0 0 0 2117 431 0 0 20 0 1 0 407360479 14314803200 3488521 33554432000 4194304 5326806 140729427116096 140729427110904 140653073180654 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 23265280 140729427121184 140729427121264 140729427121264 140729427124173 0 /proc/7518/statm: 3494859 3488587 601 277 0 3488380 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 13979300 KiB Current children cumulated memory: 13954348 KiB Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+29.4003 s] /proc/loadavg: 1.98 1.51 1.32 3/199 7706 /proc/meminfo: memFree=5071892/32770624 swapFree=66939724/67108860 [pid=7518] ppid=7515 vsize=15892156 memory=15867068 CPUtime=29.38 cores=1,3,5,7 /proc/7518/stat : 7518 (miniBTD) R 7515 7518 6991 0 -1 4202496 3978423 0 0 0 2434 504 0 0 20 0 1 0 407360479 16273567744 3966767 33554432000 4194304 5326806 140729427116096 140729427110904 4459992 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7427920 7432256 23265280 140729427121184 140729427121264 140729427121264 140729427124173 0 /proc/7518/statm: 3973039 3966767 601 277 0 3966560 0 Current children cumulated CPU time: 29.38 s Current children cumulated vsize: 15892156 KiB Current children cumulated memory: 15867068 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+30.274 s] # the end of solver process 7518 was just reported to runsolver # cumulated CPU time of all completed processes: user=24.3458 s, system=5.91938 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+29.6096 s] /proc/loadavg: 1.98 1.51 1.32 3/199 7706 /proc/meminfo: memFree=6696872/32770624 swapFree=66939724/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB [startup+30.0003 s]* /proc/loadavg: 1.99 1.52 1.32 3/199 7706 /proc/meminfo: memFree=15992012/32770624 swapFree=66939724/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB [startup+30.2002 s] /proc/loadavg: 1.99 1.52 1.32 3/199 7706 /proc/meminfo: memFree=15992012/32770624 swapFree=66939724/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child ended because it received signal 15 (SIGTERM) Real time (s): 30.274 CPU time (s): 30.2651 CPU user time (s): 24.3458 CPU system time (s): 5.91938 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 15892156 Max. memory (cumulated for all children) (KiB): 15867068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.3458 system time used= 5.91938 maximum resident set size= 15867168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3978423 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= 17 involuntary context switches= 172 # summary of solver processes directly reported to runsolver: # pid: 7518 # total CPU time (s): 30.2651 # total CPU user time (s): 24.3458 # total CPU system time (s): 5.91938 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.123193 second user time and 0.279876 second system time The end
Begin job on node125 at 2019-09-12 19:54:54 IDJOB=4391929 IDBENCH=131696 IDSOLVER=2836 FILE ID=node125/4391929-1568310936 RUNJOBID= node125-1568310656-7023 PBS_JOBID= 21701124 Free space on /tmp= 57372 MiB SOLVER NAME= miniBTD 19.06.16 BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-rand/Subisomorphism-si4-r005-m600-07.xml COMMAND LINE= miniBTD TIMELIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391929-1568310936/watcher-4391929-1568310936 -o /tmp/evaluation-result-4391929-1568310936/solver-4391929-1568310936 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568310656-7023 --watchdog 2560 miniBTD 2400 HOME/instance-4391929-1568310936.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1982aa996c838b28e3c9b82540ec3331 RANDOM SEED=1405161488 node125.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.29 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.29 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.29 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.29 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: 15555280 kB MemAvailable: 26546544 kB Buffers: 179964 kB Cached: 10999420 kB SwapCached: 66660 kB Active: 6208100 kB Inactive: 10280688 kB Active(anon): 5247044 kB Inactive(anon): 103128 kB Active(file): 961056 kB Inactive(file): 10177560 kB Unevictable: 108980 kB Mlocked: 108980 kB SwapTotal: 67108860 kB SwapFree: 66939724 kB Dirty: 8380 kB Writeback: 0 kB AnonPages: 5252832 kB Mapped: 43292 kB Shmem: 32144 kB Slab: 309908 kB SReclaimable: 281108 kB SUnreclaim: 28800 kB KernelStack: 3568 kB PageTables: 16048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5778980 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 57364 MiB End job on node125 at 2019-09-12 19:55:24