Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | SAT | 1.4665 | 1.46804 |
Name | Random/Random-D-t050/ rand-2-40-25-180-050-34.xml |
MD5SUM | 2b23d7f384de8bee09908163d3005f80 |
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 | 1.27106 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 180 |
Number of domains | 1 |
Minimum domain size | 25 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":25,"count":40}] |
Minimum variable degree | 4 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":3},{"degree":7,"count":1},{"degree":8,"count":9},{"degree":9,"count":10},{"degree":10,"count":6},{"degree":11,"count":3},{"degree":13,"count":4},{"degree":14,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":180}] |
Number of extensional constraints | 180 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":180}] |
Optimization problem | NO |
Type of objective |
0.10/0.16 c root propagations : 0 0.10/0.16 c restarts enabled, print stats at every restarts 0.10/0.16 c 0.10/0.16 c 0.10/0.16 c 0.10/0.16 c This is cosoco 2.00 -- 0.10/0.16 c 0.10/0.16 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389379-1568319401.xml 0.10/0.16 c ========================================[ Problem Statistics ]=========================================== 0.10/0.16 c | 0.10/0.16 c | Parse time : 0.16 s 0.10/0.16 c | 0.10/0.16 c | Variables: 40 0.10/0.16 c | Domain Sizes: 25..25 0.10/0.16 c | 0.10/0.16 c | Constraints: 180 0.10/0.16 c | Arity: 2..2 -- Binary: 180 0.10/0.16 c | 0.10/0.16 c | Types: 0.10/0.16 c | Extension: 180 (nb tuples: 281..312) -- (shared: 0) 0.10/0.16 c | 0.10/0.16 c ========================================================================================================= 0.10/0.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.17 c 101 230 33136 31908 0 0 4 11 6 0.10/0.18 c 211 488 73163 71165 0 0 4 11 7 0.10/0.18 c 332 771 116988 110013 0 0 5 11 7 0.10/0.19 c 465 1078 164155 155337 0 0 4 11 7 0.10/0.20 c 611 1451 216327 201142 0 0 4 14 7 0.10/0.21 c 771 1782 263734 246367 0 0 4 11 7 0.21/0.23 c 947 2272 328119 303044 0 0 4 15 8 0.21/0.24 c 1140 2738 392885 355745 0 0 4 11 7 0.21/0.25 c 1352 3253 470906 425973 0 0 4 11 7 0.21/0.27 c 1585 3838 562894 514104 0 0 3 13 7 0.21/0.29 c 1841 4402 649953 604624 0 0 4 11 6 0.21/0.31 c 2122 5022 744280 694107 0 0 4 13 6 0.31/0.33 c 2431 5739 853312 795355 0 0 4 16 7 0.31/0.35 c 2770 6548 964660 893845 0 0 4 12 7 0.31/0.38 c 3142 7486 1098960 1016776 0 0 4 11 7 0.31/0.40 c 3551 8532 1240588 1132656 0 0 5 15 8 0.41/0.44 c 4000 9613 1405235 1284117 0 0 3 17 6 0.41/0.47 c 4493 10832 1577455 1420718 0 0 3 14 8 0.41/0.51 c 5035 12269 1782609 1610331 0 0 4 18 8 0.51/0.55 c 5631 13735 1991391 1785870 0 0 3 15 7 0.51/0.59 c 6286 15274 2219462 1994312 0 0 4 15 7 0.60/0.64 c 7006 16834 2465449 2231366 0 0 3 13 7 0.69/0.70 c 7798 18659 2737975 2502846 0 0 4 16 7 0.69/0.75 c 8669 20607 3024330 2747540 0 0 4 15 8 0.79/0.82 c 9627 22845 3352193 3054338 0 0 3 15 7 0.79/0.88 c 10680 25346 3711630 3365494 0 0 3 14 7 0.89/0.96 c 11838 27874 4089620 3698117 0 0 4 12 7 1.00/1.04 c 13111 31139 4525919 4074136 0 0 3 14 7 1.10/1.13 c 14511 34448 5009931 4526628 0 0 3 13 7 1.19/1.25 c 16051 38120 5573299 5089074 0 0 3 18 6 1.29/1.37 c 17745 41888 6145420 5644084 0 0 3 13 6 1.39/1.46 c First solution is found 1.39/1.46 s SATISFIABLE 1.39/1.46 c restarts : 31 1.39/1.46 c conflicts : 19155 (13091 /sec) 1.39/1.46 c decisions : 45391 (31021 /sec) 1.39/1.46 c propagations : 6068858 (4147545 /sec) 1.39/1.46 c root propagations : 0 1.39/1.46 c filter calls : 6644567 (4540993 /sec) 1.39/1.46 c useless filter calls : 4460108 (67 %) 1.39/1.46 c Memory used : 27.05 MB 1.39/1.46 c CPU time : 1.4632 s 1.39/1.46 c real time : 1.46275 s 1.39/1.46 1.39/1.46 c solution 1 1.39/1.46 1.39/1.46 v <instantiation type='solution'> 1.39/1.46 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] </list> 1.39/1.46 v <values>6 19 12 16 24 0 19 13 19 11 18 15 14 23 21 14 12 21 21 8 4 1 7 15 9 1 16 5 11 6 24 1 23 5 3 5 19 0 2 15 </values> 1.39/1.46 v </instantiation> 1.39/1.46
OK
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 (13190 MiB free) memory of node 1: 16384 MiB (15726 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389379-1568319401/watcher-4389379-1568319401 -o /tmp/evaluation-result-4389379-1568319401/solver-4389379-1568319401 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389379-1568319401.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=8231, runsolver pid=8228 Current StackSize limit: 8192 KiB [startup+0.100156 s]* /proc/loadavg: 2.04 2.01 2.05 3/199 8232 /proc/meminfo: memFree=29611500/32770688 swapFree=66960932/67108860 [pid=8231] ppid=8228 vsize=27468 memory=3772 CPUtime=0.1 cores=4-7 /proc/8231/stat : 8231 (cosoco) R 8228 8231 6407 0 -1 4202496 1130 0 0 0 10 0 0 0 20 0 1 0 407881827 28127232 943 33554432000 4194304 6210612 140730221611328 140730221607864 5688974 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 17928192 140730221614091 140730221614193 140730221614193 140730221617102 0 /proc/8231/statm: 6867 943 807 493 0 172 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27468 KiB Current children cumulated memory: 3772 KiB [startup+0.210608 s]* /proc/loadavg: 2.04 2.01 2.05 3/199 8232 /proc/meminfo: memFree=29611204/32770688 swapFree=66960932/67108860 [pid=8231] ppid=8228 vsize=27700 memory=4004 CPUtime=0.21 cores=4-7 /proc/8231/stat : 8231 (cosoco) R 8228 8231 6407 0 -1 4202496 1207 0 0 0 21 0 0 0 20 0 1 0 407881827 28364800 1001 33554432000 4194304 6210612 140730221611328 140730221607864 5016909 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 17928192 140730221614091 140730221614193 140730221614193 140730221617102 0 /proc/8231/statm: 6925 1001 807 493 0 230 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 27700 KiB Current children cumulated memory: 4004 KiB [startup+0.310092 s]* /proc/loadavg: 2.04 2.01 2.05 3/199 8232 /proc/meminfo: memFree=29611204/32770688 swapFree=66960932/67108860 [pid=8231] ppid=8228 vsize=27700 memory=4004 CPUtime=0.31 cores=4-7 /proc/8231/stat : 8231 (cosoco) R 8228 8231 6407 0 -1 4202496 1207 0 0 0 31 0 0 0 20 0 1 0 407881827 28364800 1001 33554432000 4194304 6210612 140730221611328 140730221607864 5017098 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 17928192 140730221614091 140730221614193 140730221614193 140730221617102 0 /proc/8231/statm: 6925 1001 807 493 0 230 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 27700 KiB Current children cumulated memory: 4004 KiB [startup+0.700285 s] /proc/loadavg: 2.04 2.01 2.05 3/199 8232 /proc/meminfo: memFree=29610544/32770688 swapFree=66960932/67108860 [pid=8231] ppid=8228 vsize=27700 memory=4004 CPUtime=0.69 cores=4-7 /proc/8231/stat : 8231 (cosoco) R 8228 8231 6407 0 -1 4202496 1207 0 0 0 69 0 0 0 20 0 1 0 407881827 28364800 1001 33554432000 4194304 6210612 140730221611328 140730221609288 5017046 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 17928192 140730221614091 140730221614193 140730221614193 140730221617102 0 /proc/8231/statm: 6925 1001 807 493 0 230 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 27700 KiB Current children cumulated memory: 4004 KiB [startup+1.468 s] # the end of solver process 8231 was just reported to runsolver # cumulated CPU time of all completed processes: user=1.4635 s, system=0.003007 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.800311 s] /proc/loadavg: 2.04 2.01 2.05 3/199 8232 /proc/meminfo: memFree=29610544/32770688 swapFree=66960932/67108860 [pid=8231] ppid=8228 vsize=27700 memory=4004 CPUtime=0.79 cores=4-7 /proc/8231/stat : 8231 (cosoco) R 8228 8231 6407 0 -1 4202496 1207 0 0 0 79 0 0 0 20 0 1 0 407881827 28364800 1001 33554432000 4194304 6210612 140730221611328 140730221609288 5016857 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 17928192 140730221614091 140730221614193 140730221614193 140730221617102 0 /proc/8231/statm: 6925 1001 807 493 0 230 0 Current children cumulated CPU time: 0.79 s Current children cumulated vsize: 27700 KiB Current children cumulated memory: 4004 KiB [startup+1.20026 s] /proc/loadavg: 2.04 2.01 2.05 3/199 8232 /proc/meminfo: memFree=29610544/32770688 swapFree=66960932/67108860 [pid=8231] ppid=8228 vsize=27700 memory=4004 CPUtime=1.19 cores=4-7 /proc/8231/stat : 8231 (cosoco) R 8228 8231 6407 0 -1 4202496 1207 0 0 0 119 0 0 0 20 0 1 0 407881827 28364800 1001 33554432000 4194304 6210612 140730221611328 140730221609288 5017076 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 17928192 140730221614091 140730221614193 140730221614193 140730221617102 0 /proc/8231/statm: 6925 1001 807 493 0 230 0 Current children cumulated CPU time: 1.19 s Current children cumulated vsize: 27700 KiB Current children cumulated memory: 4004 KiB [startup+1.40027 s] /proc/loadavg: 2.04 2.01 2.05 3/199 8232 /proc/meminfo: memFree=29610544/32770688 swapFree=66960932/67108860 [pid=8231] ppid=8228 vsize=27700 memory=4004 CPUtime=1.39 cores=4-7 /proc/8231/stat : 8231 (cosoco) R 8228 8231 6407 0 -1 4202496 1207 0 0 0 139 0 0 0 20 0 1 0 407881827 28364800 1001 33554432000 4194304 6210612 140730221611328 140730221609288 5017104 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 17928192 140730221614091 140730221614193 140730221614193 140730221617102 0 /proc/8231/statm: 6925 1001 807 493 0 230 0 Current children cumulated CPU time: 1.39 s Current children cumulated vsize: 27700 KiB Current children cumulated memory: 4004 KiB Child status: 0 Real time (s): 1.46804 CPU time (s): 1.4665 CPU user time (s): 1.4635 CPU system time (s): 0.003007 CPU usage (%): 99.8954 Max. virtual memory (cumulated for all children) (KiB): 27700 Max. memory (cumulated for all children) (KiB): 4004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.46349 system time used= 0.003007 maximum resident set size= 4260 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1227 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= 14 involuntary context switches= 2 # summary of solver processes directly reported to runsolver: # pid: 8231 # total CPU time (s): 1.4665 # total CPU user time (s): 1.4635 # total CPU system time (s): 0.003007 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.035112 second user time and 0.052122 second system time The end
Begin job on node116 at 2019-09-12 22:16:01 IDJOB=4389379 IDBENCH=122262 IDSOLVER=2829 FILE ID=node116/4389379-1568319401 RUNJOBID= node116-1568311136-6439 PBS_JOBID= 21701125 Free space on /tmp= 56884 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/Random/Random-D-t050/rand-2-40-25-180-050-34.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389379-1568319401/watcher-4389379-1568319401 -o /tmp/evaluation-result-4389379-1568319401/solver-4389379-1568319401 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389379-1568319401.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2b23d7f384de8bee09908163d3005f80 RANDOM SEED=608615907 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: 29611504 kB MemAvailable: 31833816 kB Buffers: 74860 kB Cached: 2422504 kB SwapCached: 46484 kB Active: 824448 kB Inactive: 1736892 kB Active(anon): 16468 kB Inactive(anon): 88236 kB Active(file): 807980 kB Inactive(file): 1648656 kB Unevictable: 110244 kB Mlocked: 110244 kB SwapTotal: 67108860 kB SwapFree: 66960932 kB Dirty: 3188 kB Writeback: 0 kB AnonPages: 156040 kB Mapped: 44056 kB Shmem: 31848 kB Slab: 191616 kB SReclaimable: 163020 kB SUnreclaim: 28596 kB KernelStack: 3760 kB PageTables: 5708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 541304 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 108544 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= 56880 MiB End job on node116 at 2019-09-12 22:16:02