Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | ? (TO) | 251.988 | 252.049 |
Name | NurseRostering/ NurseRostering-13_c18.xml |
MD5SUM | bfb8f77ba8ae689b0ec737170bc63bca |
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 | 8025 |
Number of constraints | 17841 |
Number of domains | 21 |
Minimum domain size | 1 |
Maximum domain size | 121 |
Distribution of domain sizes | [{"size":1,"count":652},{"size":2,"count":1350},{"size":3,"count":156},{"size":4,"count":72},{"size":5,"count":33},{"size":6,"count":8},{"size":7,"count":121},{"size":8,"count":124},{"size":11,"count":96},{"size":12,"count":117},{"size":19,"count":3360},{"size":29,"count":900},{"size":120,"count":504},{"size":121,"count":532}] |
Minimum variable degree | 2 |
Maximum variable degree | 55 |
Distribution of variable degrees | [{"degree":2,"count":4185},{"degree":3,"count":480},{"degree":42,"count":5},{"degree":43,"count":95},{"degree":44,"count":120},{"degree":45,"count":25},{"degree":46,"count":79},{"degree":47,"count":137},{"degree":48,"count":190},{"degree":49,"count":200},{"degree":50,"count":288},{"degree":51,"count":991},{"degree":52,"count":861},{"degree":53,"count":271},{"degree":54,"count":78},{"degree":55,"count":20}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 240 |
Distribution of constraint arities | [{"arity":2,"count":5938},{"arity":3,"count":5850},{"arity":4,"count":370},{"arity":6,"count":2530},{"arity":7,"count":220},{"arity":19,"count":120},{"arity":29,"count":2280},{"arity":121,"count":532},{"arity":240,"count":1}] |
Number of extensional constraints | 3772 |
Number of intensional constraints | 2031 |
Distribution of constraint types | [{"type":"extension","count":3772},{"type":"intension","count":2031},{"type":"regular","count":6235},{"type":"sum","count":240},{"type":"count","count":5562},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
1.89/1.94 c best=?? lower=0 upper=175744 251.94/252.01 c 251.94/252.01 c This is cosoco 1.12 -- 251.94/252.01 c 251.94/252.01 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301296-1532879039.xml 251.94/252.01 c enable optimization 251.94/252.01 c ========================================[ Problem Statistics ]=========================================== 251.94/252.01 c | 251.94/252.01 c | Parse time : 1.66 s 251.94/252.01 c | 251.94/252.01 c | Variables: 8025 251.94/252.01 c | Domain Sizes: 1..121 251.94/252.01 c | 251.94/252.01 c | Constraints: 18201 251.94/252.01 c | Arity: 1..1373 -- Unary: 240 -- Binary: 5938 -- Ternary: 5850 251.94/252.01 c | 251.94/252.01 c | Types: 251.94/252.01 c | At least: 2750 251.94/252.01 c | Exactly K variable: 2812 251.94/252.01 c | Extension: 3772 (nb tuples: 0..136) -- (shared: 3645) 251.94/252.01 c | Intension: 2031 251.94/252.01 c | MDD: 6235 251.94/252.01 c | Sum: 361 251.94/252.01 c | Unary: 240 251.94/252.01 c | 251.94/252.01 c | Objective: Minimize Sum 251.94/252.01 251.94/252.01 c ========================================================================================================= 251.94/252.01 251.94/252.01 c *** INTERRUPTED *** 251.94/252.01 c restarts : 53 251.94/252.01 c conflicts : 154958 (617 /sec) 251.94/252.01 c decisions : 490211 (1951 /sec) 251.94/252.01 c propagations : 8632101 (34356 /sec) 251.94/252.01 c root propagations : 68537 251.94/252.01 c filter calls : 37329622 (148574 /sec) 251.94/252.01 c useless filter calls : 31597228 (84 %) 251.94/252.01 c Memory used : 920.16 MB 251.94/252.01 c CPU time : 251.252 s 251.94/252.01 251.94/252.01 c No Bound found! 251.94/252.01 251.94/252.01 s UNKNOWN
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 (11639 MiB free) memory of node 1: 16384 MiB (14992 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301296-1532879039/watcher-4301296-1532879039 -o /tmp/evaluation-result-4301296-1532879039/solver-4301296-1532879039 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532876486-18603 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301296-1532879039.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=20100, runsolver pid=20097 [startup+0.100115 s]* /proc/loadavg: 2.05 2.04 1.98 3/192 20101 /proc/meminfo: memFree=27244900/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=55340 memory=31740 CPUtime=0.1 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 8107 0 0 0 9 1 0 0 20 0 1 0 105467074 56668160 7935 33554432000 4194304 6142532 140726985744016 140726985740648 140394419850213 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 13835 7935 828 476 0 7157 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 55340 KiB Current children cumulated memory: 31740 KiB [startup+0.20983 s]* /proc/loadavg: 2.04 2.04 1.98 3/192 20101 /proc/meminfo: memFree=27219852/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=80540 memory=56940 CPUtime=0.21 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 14407 0 0 0 19 2 0 0 20 0 1 0 105467074 82472960 14235 33554432000 4194304 6142532 140726985744016 140726985740648 140394419898272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 20135 14235 828 476 0 13457 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 80540 KiB Current children cumulated memory: 56940 KiB [startup+0.309716 s]* /proc/loadavg: 2.04 2.04 1.98 3/192 20101 /proc/meminfo: memFree=27196664/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=103520 memory=79928 CPUtime=0.3 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 20147 0 0 0 27 3 0 0 20 0 1 0 105467074 106004480 19982 33554432000 4194304 6142532 140726985744016 140726985740648 140394419850213 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 25880 19982 828 476 0 19202 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 103520 KiB Current children cumulated memory: 79928 KiB [startup+0.700307 s] /proc/loadavg: 2.04 2.04 1.98 3/192 20101 /proc/meminfo: memFree=27158224/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=173896 memory=150368 CPUtime=0.69 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 37752 0 0 0 62 7 0 0 20 0 1 0 105467074 178069504 37592 33554432000 4194304 6142532 140726985744016 140726985740648 140394423332744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 43474 37592 841 476 0 36796 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 173896 KiB Current children cumulated memory: 150368 KiB [startup+1.50032 s] /proc/loadavg: 2.04 2.04 1.98 3/192 20101 /proc/meminfo: memFree=26982888/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=602744 memory=579212 CPUtime=1.49 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 144980 0 0 0 126 23 0 0 20 0 1 0 105467074 617209856 144803 33554432000 4194304 6142532 140726985744016 140726985738392 140394419898272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 150726 144803 856 476 0 144048 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 602744 KiB Current children cumulated memory: 579212 KiB [startup+3.10969 s] /proc/loadavg: 2.04 2.04 1.98 3/192 20101 /proc/meminfo: memFree=26564464/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=734236 memory=710900 CPUtime=3.1 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 203175 0 0 0 280 30 0 0 20 0 1 0 105467074 751857664 177725 33554432000 4194304 6142532 140726985744016 140726985740840 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 183559 177725 898 476 0 176881 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 734236 KiB Current children cumulated memory: 710900 KiB [startup+6.3003 s] /proc/loadavg: 2.04 2.04 1.98 3/192 20101 /proc/meminfo: memFree=26457788/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=842476 memory=815328 CPUtime=6.28 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 295099 0 0 0 592 36 0 0 20 0 1 0 105467074 862695424 203832 33554432000 4194304 6142532 140726985744016 140726985740792 4991062 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 210619 203832 898 476 0 203941 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 842476 KiB Current children cumulated memory: 815328 KiB [startup+12.7003 s] /proc/loadavg: 2.04 2.04 1.98 3/192 20101 /proc/meminfo: memFree=26449372/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=852368 memory=823980 CPUtime=12.69 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 360526 0 0 0 1229 40 0 0 20 0 1 0 105467074 872824832 205995 33554432000 4194304 6142532 140726985744016 140726985740744 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 213092 205995 898 476 0 206414 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 852368 KiB Current children cumulated memory: 823980 KiB [startup+25.5003 s] /proc/loadavg: 2.03 2.04 1.98 3/192 20101 /proc/meminfo: memFree=26438816/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=863336 memory=834160 CPUtime=25.48 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 438997 0 0 0 2503 45 0 0 20 0 1 0 105467074 884056064 208540 33554432000 4194304 6142532 140726985744016 140726985740840 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 215834 208540 898 476 0 209156 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 863336 KiB Current children cumulated memory: 834160 KiB [startup+51.1096 s] /proc/loadavg: 2.02 2.04 1.98 3/191 20101 /proc/meminfo: memFree=26416460/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=884972 memory=855880 CPUtime=51.09 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 532470 0 0 0 5056 53 0 0 20 0 1 0 105467074 906211328 213970 33554432000 4194304 6142532 140726985744016 140726985740744 5347460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 221243 213970 898 476 0 214565 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 884972 KiB Current children cumulated memory: 855880 KiB [startup+102.3 s] /proc/loadavg: 2.01 2.03 1.98 3/190 20102 /proc/meminfo: memFree=26404540/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=896804 memory=867424 CPUtime=102.27 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 597286 0 0 0 10169 58 0 0 20 0 1 0 105467074 918327296 216856 33554432000 4194304 6142532 140726985744016 140726985740712 5329969 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 224201 216856 898 476 0 217523 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 896804 KiB Current children cumulated memory: 867424 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.03 1.98 3/190 20164 /proc/meminfo: memFree=26482784/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=919012 memory=888868 CPUtime=162.25 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 666453 0 0 0 16162 63 0 0 20 0 1 0 105467074 941068288 222217 33554432000 4194304 6142532 140726985744016 140726985740792 5175059 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 229753 222217 898 476 0 223075 0 Current children cumulated CPU time: 162.25 s Current children cumulated vsize: 919012 KiB Current children cumulated memory: 888868 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.02 1.98 3/191 20166 /proc/meminfo: memFree=26470336/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=933520 memory=901368 CPUtime=222.24 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 711101 0 0 0 22157 67 0 0 20 0 1 0 105467074 955924480 225342 33554432000 4194304 6142532 140726985744016 140726985740760 5335940 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 233380 225342 898 476 0 226702 0 Current children cumulated CPU time: 222.24 s Current children cumulated vsize: 933520 KiB Current children cumulated memory: 901368 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 2.02 1.98 3/191 20166 /proc/meminfo: memFree=26462256/32770624 swapFree=67108860/67108860 [pid=20100] ppid=20097 vsize=942240 memory=909560 CPUtime=251.94 cores=0,2,4,6 /proc/20100/stat : 20100 (cosoco) R 20097 20100 15034 0 -1 4202496 745887 0 0 0 25125 69 0 0 20 0 1 0 105467074 964853760 227390 33554432000 4194304 6142532 140726985744016 140726985740744 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 29822976 140726985745547 140726985745677 140726985745677 140726985748430 0 /proc/20100/statm: 235560 227390 898 476 0 228882 0 Current children cumulated CPU time: 251.94 s Current children cumulated vsize: 942240 KiB Current children cumulated memory: 909560 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.049 s] # the end of solver process 20100 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.252 s, system=0.735907 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.049 CPU time (s): 251.988 CPU user time (s): 251.252 CPU system time (s): 0.735907 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 942240 Max. memory (cumulated for all children) (KiB): 909560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.252 system time used= 0.735907 maximum resident set size= 909632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 745938 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= 57 involuntary context switches= 299 # summary of solver processes directly reported to runsolver: # pid: 20100 # total CPU time (s): 251.988 # total CPU user time (s): 251.252 # total CPU system time (s): 0.735907 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.996036 second user time and 1.82687 second system time The end
Begin job on node135 at 2018-07-29 17:43:59 IDJOB=4301296 IDBENCH=141057 IDSOLVER=2774 FILE ID=node135/4301296-1532879039 RUNJOBID= node135-1532876486-18603 PBS_JOBID= 21022499 Free space on /tmp= 52716 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/NurseRostering/NurseRostering-13_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301296-1532879039/watcher-4301296-1532879039 -o /tmp/evaluation-result-4301296-1532879039/solver-4301296-1532879039 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532876486-18603 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301296-1532879039.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bfb8f77ba8ae689b0ec737170bc63bca RANDOM SEED=1252605892 node135.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.50 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.50 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.50 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.50 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: 27271576 kB MemAvailable: 31816152 kB Buffers: 214956 kB Cached: 4568268 kB SwapCached: 0 kB Active: 1699116 kB Inactive: 3259020 kB Active(anon): 126068 kB Inactive(anon): 76904 kB Active(file): 1573048 kB Inactive(file): 3182116 kB Unevictable: 7212 kB Mlocked: 7212 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 3504 kB Writeback: 4 kB AnonPages: 182364 kB Mapped: 46148 kB Shmem: 25248 kB Slab: 239196 kB SReclaimable: 210496 kB SUnreclaim: 28700 kB KernelStack: 3360 kB PageTables: 5352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 472432 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 52712 MiB End job on node135 at 2018-07-29 17:48:11