Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | ? (TO) | 252.436 | 254.137 |
Name | SteelMillSlab/ SteelMillSlab-bench_17_11.xml |
MD5SUM | ec43b711d2aa9c243757c5391c9c8921 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 2400.17 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 12654 |
Number of constraints | 466 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 111 |
Distribution of domain sizes | [{"size":2,"count":12321},{"size":10,"count":111},{"size":51,"count":111},{"size":111,"count":111}] |
Minimum variable degree | 2 |
Maximum variable degree | 114 |
Distribution of variable degrees | [{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 112 |
Distribution of constraint arities | [{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 132 |
Distribution of constraint types | [{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}] |
Optimization problem | YES |
Type of objective | min SUM |
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 (14882 MiB free) memory of node 1: 16384 MiB (15503 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398785-1568610302/watcher-4398785-1568610302 -o /tmp/evaluation-result-4398785-1568610302/solver-4398785-1568610302 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568597898-3256 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398785-1568610302.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5088, runsolver pid=5085 [startup+0.100165 s]* /proc/loadavg: 8.22 8.27 8.54 2/193 5089 /proc/meminfo: memFree=31079424/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=67192 memory=43188 CPUtime=0.1 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 10978 0 0 0 9 1 0 0 20 0 1 0 437191777 68804608 10797 33554432000 4194304 6211092 140729731755840 140729731752376 140218054994917 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 16798 10797 754 493 0 10103 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 67192 KiB Current children cumulated memory: 43188 KiB [startup+0.209441 s]* /proc/loadavg: 8.22 8.27 8.54 2/193 5089 /proc/meminfo: memFree=31049292/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=93188 memory=69324 CPUtime=0.21 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 17520 0 0 0 19 2 0 0 20 0 1 0 437191777 95424512 17331 33554432000 4194304 6211092 140729731755840 140729731752376 140218054994917 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 23297 17331 809 493 0 16602 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 93188 KiB Current children cumulated memory: 69324 KiB [startup+0.309487 s]* /proc/loadavg: 8.22 8.27 8.54 2/193 5089 /proc/meminfo: memFree=31047804/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=94628 memory=70804 CPUtime=0.31 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 17886 0 0 0 29 2 0 0 20 0 1 0 437191777 96899072 17701 33554432000 4194304 6211092 140729731755840 140729731752376 140218054994917 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 23657 17701 819 493 0 16962 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 94628 KiB Current children cumulated memory: 70804 KiB [startup+0.700274 s] /proc/loadavg: 8.22 8.27 8.54 2/193 5089 /proc/meminfo: memFree=31045944/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=98472 memory=74764 CPUtime=0.69 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 18855 0 0 0 67 2 0 0 20 0 1 0 437191777 100835328 18691 33554432000 4194304 6211092 140729731755840 140729731752376 140218054994917 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 24618 18691 819 493 0 17923 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 98472 KiB Current children cumulated memory: 74764 KiB [startup+1.50028 s] /proc/loadavg: 8.22 8.27 8.54 2/193 5089 /proc/meminfo: memFree=31041072/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=106792 memory=82800 CPUtime=1.49 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 20879 0 0 0 147 2 0 0 20 0 1 0 437191777 109355008 20700 33554432000 4194304 6211092 140729731755840 140729731729400 140218054994917 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 26698 20700 819 493 0 20003 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 106792 KiB Current children cumulated memory: 82800 KiB [startup+3.10938 s] /proc/loadavg: 7.64 8.15 8.50 2/193 5089 /proc/meminfo: memFree=31020248/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=123212 memory=99032 CPUtime=3.1 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 25202 0 0 0 307 3 0 0 20 0 1 0 437191777 126169088 24758 33554432000 4194304 6211092 140729731755840 140729731729400 140218054994917 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 30803 24758 819 493 0 24108 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 123212 KiB Current children cumulated memory: 99032 KiB [startup+6.30026 s] /proc/loadavg: 7.64 8.15 8.50 2/193 5089 /proc/meminfo: memFree=30990024/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=155268 memory=131412 CPUtime=6.29 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 33531 0 0 0 625 4 0 0 20 0 1 0 437191777 158994432 32853 33554432000 4194304 6211092 140729731755840 140729731729400 140218055455724 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 38817 32853 819 493 0 32122 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 155268 KiB Current children cumulated memory: 131412 KiB [startup+12.7003 s] /proc/loadavg: 6.54 7.89 8.42 2/194 5092 /proc/meminfo: memFree=30929120/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=220368 memory=196100 CPUtime=12.69 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 49962 0 0 0 1264 5 0 0 20 0 1 0 437191777 225656832 49025 33554432000 4194304 6211092 140729731755840 140729731729400 140218054994917 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 55092 49025 819 493 0 48397 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 220368 KiB Current children cumulated memory: 196100 KiB [startup+25.5003 s] /proc/loadavg: 5.69 7.67 8.34 2/193 5092 /proc/meminfo: memFree=30797016/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=351300 memory=325720 CPUtime=25.48 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 82822 0 0 0 2539 9 0 0 20 0 1 0 437191777 359731200 81430 33554432000 4194304 6211092 140729731755840 140729731729400 140218054994917 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 87825 81430 819 493 0 81130 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 351300 KiB Current children cumulated memory: 325720 KiB [startup+51.1092 s] /proc/loadavg: 4.09 7.13 8.14 2/192 5092 /proc/meminfo: memFree=30530936/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=614912 memory=587072 CPUtime=51.09 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 146703 0 0 0 5091 18 0 0 20 0 1 0 437191777 629669888 146768 33554432000 4194304 6211092 140729731755840 140729731729400 140218054994917 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 153728 146768 819 493 0 147033 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 614912 KiB Current children cumulated memory: 587072 KiB [startup+102.3 s] /proc/loadavg: 2.23 6.10 7.73 2/193 5097 /proc/meminfo: memFree=30015244/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=1129560 memory=1105420 CPUtime=102.27 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 273216 0 0 0 10192 35 0 0 20 0 1 0 437191777 1156669440 276355 33554432000 4194304 6211092 140729731755840 140729731729400 140218054994917 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 282390 276355 819 493 0 275695 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 1129560 KiB Current children cumulated memory: 1105420 KiB [startup+162.3 s] /proc/loadavg: 1.45 5.17 7.31 2/191 5100 /proc/meminfo: memFree=29404080/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=1760872 memory=1715776 CPUtime=162.26 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 421876 0 0 0 16172 54 0 0 20 0 1 0 437191777 1803132928 428944 33554432000 4194304 6211092 140729731755840 140729731729400 140218054994917 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 440218 428944 819 493 0 433523 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 1760872 KiB Current children cumulated memory: 1715776 KiB [startup+222.3 s] /proc/loadavg: 1.17 4.41 6.91 2/191 5103 /proc/meminfo: memFree=28794668/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=2351176 memory=2324696 CPUtime=222.26 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 569485 0 0 0 22151 75 0 0 20 0 1 0 437191777 2407604224 581174 33554432000 4194304 6211092 140729731755840 140729731729400 140218054994917 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 587794 581174 819 493 0 581099 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 2351176 KiB Current children cumulated memory: 2324696 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 1.10 4.09 6.73 2/191 5106 /proc/meminfo: memFree=28488572/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=2680336 memory=2627352 CPUtime=251.96 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 4202496 643196 0 0 0 25110 86 0 0 20 0 1 0 437191777 2744664064 656838 33554432000 4194304 6211092 140729731755840 140729731729400 140218054994917 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 670084 656838 819 493 0 663389 0 Current children cumulated CPU time: 251.96 s Current children cumulated vsize: 2680336 KiB Current children cumulated memory: 2627352 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) ??? end of watcher thread [startup+254.137 s] # the end of solver process 5088 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.365 s, system=1.07114 s Solver just ended. Dumping a history of the last processes samples [startup+252.8 s] /proc/loadavg: 1.10 4.09 6.73 2/191 5106 /proc/meminfo: memFree=28488572/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=2680336 memory=2627352 CPUtime=252.1 cores=0-7 /proc/5088/stat : 5088 (cosoco) R 5085 5088 3228 0 -1 512 643201 0 0 0 25123 87 0 0 20 0 1 0 437191777 2744664064 656838 33554432000 4194304 6211092 140729731755840 140729731729400 5189550 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 670084 656838 819 493 0 663389 0 Current children cumulated CPU time: 252.1 s Current children cumulated vsize: 2680336 KiB Current children cumulated memory: 2627352 KiB [startup+253.6 s] /proc/loadavg: 1.10 4.09 6.73 2/192 5107 /proc/meminfo: memFree=27912376/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=2680336 memory=2627352 CPUtime=252.23 cores=0-7 /proc/5088/stat : 5088 (cosoco) S 5085 5088 3228 0 -1 512 643201 0 0 0 25130 93 0 0 20 0 1 0 437191777 2744664064 656838 33554432000 4194304 6211092 140729731755840 140729731729400 5189550 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 670084 656838 819 493 0 663389 0 Current children cumulated CPU time: 252.23 s Current children cumulated vsize: 2680336 KiB Current children cumulated memory: 2627352 KiB [startup+254 s]* /proc/loadavg: 1.10 4.09 6.73 3/192 5107 /proc/meminfo: memFree=27372356/32770624 swapFree=67004300/67108860 [pid=5088] ppid=5085 vsize=2680336 memory=2627352 CPUtime=252.3 cores=0-7 /proc/5088/stat : 5088 (cosoco) S 5085 5088 3228 0 -1 512 643201 0 0 0 25136 94 0 0 20 0 1 0 437191777 2744664064 656838 33554432000 4194304 6211092 140729731755840 140729731729400 5189550 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 40443904 140729731757078 140729731757170 140729731757170 140729731760078 0 /proc/5088/statm: 670084 656838 819 493 0 663389 0 Current children cumulated CPU time: 252.3 s Current children cumulated vsize: 2680336 KiB Current children cumulated memory: 2627352 KiB Child ended because it received signal 9 (SIGKILL) Real time (s): 254.137 CPU time (s): 252.436 CPU user time (s): 251.365 CPU system time (s): 1.07114 CPU usage (%): 99.3306 Max. virtual memory (cumulated for all children) (KiB): 2680336 Max. memory (cumulated for all children) (KiB): 2627352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.364 system time used= 1.07114 maximum resident set size= 2627368 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 643201 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= 137694 involuntary context switches= 130 # summary of solver processes directly reported to runsolver: # pid: 5088 # total CPU time (s): 252.436 # total CPU user time (s): 251.365 # total CPU system time (s): 1.07114 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.880915 second user time and 1.74116 second system time The end
Begin job on node148 at 2019-09-16 07:04:25 IDJOB=4398785 IDBENCH=139487 IDSOLVER=2852 FILE ID=node148/4398785-1568610302 RUNJOBID= node148-1568597898-3256 PBS_JOBID= 21703413 Free space on /tmp= 61308 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_17_11.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398785-1568610302/watcher-4398785-1568610302 -o /tmp/evaluation-result-4398785-1568610302/solver-4398785-1568610302 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568597898-3256 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398785-1568610302.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ec43b711d2aa9c243757c5391c9c8921 RANDOM SEED=532512093 node148.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.13 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.13 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.13 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.13 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: 31115500 kB MemAvailable: 31899880 kB Buffers: 133600 kB Cached: 953848 kB SwapCached: 3744 kB Active: 418104 kB Inactive: 675716 kB Active(anon): 3988 kB Inactive(anon): 51612 kB Active(file): 414116 kB Inactive(file): 624104 kB Unevictable: 109236 kB Mlocked: 109236 kB SwapTotal: 67108860 kB SwapFree: 67004300 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 113460 kB Mapped: 46932 kB Shmem: 40612 kB Slab: 152796 kB SReclaimable: 123992 kB SUnreclaim: 28804 kB KernelStack: 3440 kB PageTables: 5456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506164 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 60768 MiB End job on node148 at 2019-09-16 07:08:39