Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-sat 1.12 | ? (TO) | 251.84801 | 252.013 |
Name | BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml |
MD5SUM | 030948c230c0936ebc743af4f555c996 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 29 |
Best CPU time to get the best result obtained on this benchmark | 251.62601 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7543 |
Number of constraints | 186 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":7543}] |
Minimum variable degree | 4 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":4,"count":211},{"degree":5,"count":606},{"degree":6,"count":1055},{"degree":7,"count":1192},{"degree":8,"count":1234},{"degree":9,"count":1130},{"degree":10,"count":973},{"degree":11,"count":664},{"degree":12,"count":352},{"degree":13,"count":120},{"degree":14,"count":6}] |
Minimum constraint arity | 15 |
Maximum constraint arity | 1306 |
Distribution of constraint arities | [{"arity":15,"count":1},{"arity":17,"count":1},{"arity":18,"count":4},{"arity":22,"count":1},{"arity":23,"count":2},{"arity":26,"count":1},{"arity":30,"count":3},{"arity":34,"count":1},{"arity":36,"count":2},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":3},{"arity":46,"count":1},{"arity":47,"count":1},{"arity":48,"count":2},{"arity":49,"count":1},{"arity":50,"count":6},{"arity":51,"count":1},{"arity":53,"count":1},{"arity":55,"count":1},{"arity":56,"count":2},{"arity":59,"count":1},{"arity":72,"count":3},{"arity":74,"count":2},{"arity":77,"count":1},"...",{"arity":683,"count":1}, {"arity":752,"count":1}, {"arity":771,"count":1}, {"arity":783,"count":1}, {"arity":806,"count":1}, {"arity":807,"count":1}, {"arity":833,"count":1}, {"arity":851,"count":1}, {"arity":891,"count":1}, {"arity":903,"count":1}, {"arity":910,"count":1}, {"arity":933,"count":1}, {"arity":943,"count":1}, {"arity":954,"count":1}, {"arity":967,"count":1}, {"arity":975,"count":1}, {"arity":984,"count":1}, {"arity":1092,"count":1}, {"arity":1123,"count":1}, {"arity":1131,"count":1}, {"arity":1149,"count":1}, {"arity":1167,"count":1}, {"arity":1169,"count":1}, {"arity":1194,"count":1}, {"arity":1306,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":186}] |
Optimization problem | YES |
Type of objective | min SUM |
0.60/0.78 c SAT : Variables: 15086 -- Clauses: 15086 0.60/0.78 c best=?? lower=-7543 upper=0 251.83/252.01 c 251.83/252.01 c This is cosoco 1.12 -- 251.83/252.01 c 251.83/252.01 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266615-1502647323.xml 251.83/252.01 c enable optimization 251.83/252.01 c ========================================[ Problem Statistics ]=========================================== 251.83/252.01 c | 251.83/252.01 c | Parse time : 0.69 s 251.83/252.01 c | 251.83/252.01 c | Variables: 7543 251.83/252.01 c | Domain Sizes: 2..2 251.83/252.01 c | 251.83/252.01 c | Constraints: 187 251.83/252.01 c | Arity: 15..7543 251.83/252.01 c | 251.83/252.01 c | Types: 251.83/252.01 c | Exactly K: 186 251.83/252.01 c | Sum: 1 251.83/252.01 c | 251.83/252.01 c ========================================================================================================= 251.83/252.01 251.83/252.01 c *** INTERRUPTED *** 251.83/252.01 c restarts : 148 251.83/252.01 c conflicts : 1392 (6 /sec) 251.83/252.01 c decisions : 588138 (2337 /sec) 251.83/252.01 c propagations : 6114295 (24295 /sec) 251.83/252.01 c root propagations : 0 251.83/252.01 c filter calls : 6239447 (24792 /sec) 251.83/252.01 c useless filter calls : 6160615 (98 %) 251.83/252.01 c 251.83/252.01 c clauses : 15404 251.83/252.01 c SAT propagations : 24 251.83/252.01 c SAT conflicts : 0 (0 learnts) 251.83/252.01 c Memory used : 258.41 MB 251.83/252.01 c CPU time : 251.67 s 251.83/252.01 251.83/252.01 c No Bound found! 251.83/252.01 251.83/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 (15477 MiB free) memory of node 1: 16384 MiB (14716 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266615-1502647323/watcher-4266615-1502647323 -o /tmp/evaluation-result-4266615-1502647323/solver-4266615-1502647323 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502642157-20628 --watchdog 312 cosoco -lc -model -restarts -sat HOME/instance-4266615-1502647323.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 solver pid=22998, runsolver pid=22995 Current StackSize limit: 8192 KiB [startup+0.100199 s]* /proc/loadavg: 2.00 2.02 2.09 3/186 22999 /proc/meminfo: memFree=30918340/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=28160 memory=4140 CPUtime=0.01 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 1235 0 0 0 1 0 0 0 20 0 1 0 112238742 28835840 1035 18446744073709551615 4194304 5972588 140724416620720 140724416617368 139956767513573 0 0 1 0 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 7040 1035 706 435 0 403 0 Current children cumulated CPU time: 0.01 s Current children cumulated vsize: 28160 KiB Current children cumulated memory: 4140 KiB [startup+0.209363 s]* /proc/loadavg: 2.00 2.02 2.09 3/186 22999 /proc/meminfo: memFree=30908420/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=39432 memory=15660 CPUtime=0.12 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 4106 0 0 0 12 0 0 0 20 0 1 0 112238742 40378368 3915 18446744073709551615 4194304 5972588 140724416620720 140724416616024 5634778 0 0 1 0 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 9858 3915 740 435 0 3221 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 39432 KiB Current children cumulated memory: 15660 KiB [startup+0.309623 s]* /proc/loadavg: 2.00 2.02 2.09 3/186 22999 /proc/meminfo: memFree=30906552/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=39432 memory=15660 CPUtime=0.22 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 4106 0 0 0 22 0 0 0 20 0 1 0 112238742 40378368 3915 18446744073709551615 4194304 5972588 140724416620720 140724416614936 5473287 0 0 1 0 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 9858 3915 740 435 0 3221 0 Current children cumulated CPU time: 0.22 s Current children cumulated vsize: 39432 KiB Current children cumulated memory: 15660 KiB [startup+0.700334 s] /proc/loadavg: 2.00 2.02 2.09 3/186 22999 /proc/meminfo: memFree=30906728/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=39432 memory=15660 CPUtime=0.6 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 4106 0 0 0 60 0 0 0 20 0 1 0 112238742 40378368 3915 18446744073709551615 4194304 5972588 140724416620720 140724416614936 139956768434064 0 0 1 0 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 9858 3915 740 435 0 3221 0 Current children cumulated CPU time: 0.6 s Current children cumulated vsize: 39432 KiB Current children cumulated memory: 15660 KiB [startup+1.50037 s] /proc/loadavg: 2.00 2.02 2.09 3/186 22999 /proc/meminfo: memFree=30902760/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=52520 memory=24388 CPUtime=1.4 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 6285 0 0 0 140 0 0 0 20 0 1 0 112238742 53780480 6097 18446744073709551615 4194304 5972588 140724416620720 140724416617640 139956767513573 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 13130 6097 784 435 0 6493 0 Current children cumulated CPU time: 1.4 s Current children cumulated vsize: 52520 KiB Current children cumulated memory: 24388 KiB [startup+3.10968 s] /proc/loadavg: 2.08 2.04 2.10 3/186 22999 /proc/meminfo: memFree=30846960/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=104584 memory=76504 CPUtime=3.01 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 25108 0 0 0 299 2 0 0 20 0 1 0 112238742 107094016 19126 18446744073709551615 4194304 5972588 140724416620720 140724416617480 5139312 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 26146 19126 784 435 0 19509 0 Current children cumulated CPU time: 3.01 s Current children cumulated vsize: 104584 KiB Current children cumulated memory: 76504 KiB [startup+6.30037 s] /proc/loadavg: 2.08 2.04 2.10 2/181 23047 /proc/meminfo: memFree=31721516/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=172548 memory=142832 CPUtime=6.2 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 58665 0 0 0 614 6 0 0 20 0 1 0 112238742 176689152 35708 18446744073709551615 4194304 5972588 140724416620720 140724416617480 5093063 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 43137 35708 784 435 0 36500 0 Current children cumulated CPU time: 6.2 s Current children cumulated vsize: 172548 KiB Current children cumulated memory: 142832 KiB [startup+12.7004 s] /proc/loadavg: 2.15 2.05 2.10 3/186 23061 /proc/meminfo: memFree=31652352/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=221500 memory=187708 CPUtime=12.59 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 96863 0 0 0 1251 8 0 0 20 0 1 0 112238742 226816000 46927 18446744073709551615 4194304 5972588 140724416620720 140724416618184 5094372 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 55375 46927 784 435 0 48738 0 Current children cumulated CPU time: 12.59 s Current children cumulated vsize: 221500 KiB Current children cumulated memory: 187708 KiB [startup+25.5004 s] /proc/loadavg: 2.25 2.08 2.11 3/185 23061 /proc/meminfo: memFree=31623168/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=248260 memory=215704 CPUtime=25.39 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 146682 0 0 0 2526 13 0 0 20 0 1 0 112238742 254218240 53926 18446744073709551615 4194304 5972588 140724416620720 140724416617576 5139274 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 62065 53926 784 435 0 55428 0 Current children cumulated CPU time: 25.39 s Current children cumulated vsize: 248260 KiB Current children cumulated memory: 215704 KiB [startup+51.1096 s] /proc/loadavg: 2.17 2.07 2.11 3/186 23063 /proc/meminfo: memFree=31619716/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=248260 memory=215716 CPUtime=50.98 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 168605 0 0 0 5084 14 0 0 20 0 1 0 112238742 254218240 53929 18446744073709551615 4194304 5972588 140724416620720 140724416617576 5139338 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 62065 53929 784 435 0 55428 0 Current children cumulated CPU time: 50.98 s Current children cumulated vsize: 248260 KiB Current children cumulated memory: 215716 KiB [startup+102.3 s] /proc/loadavg: 2.07 2.06 2.10 3/185 23065 /proc/meminfo: memFree=31608304/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=259648 memory=226892 CPUtime=102.16 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 187732 0 0 0 10200 16 0 0 20 0 1 0 112238742 265879552 56723 18446744073709551615 4194304 5972588 140724416620720 140724416617464 5046704 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 64912 56723 784 435 0 58275 0 Current children cumulated CPU time: 102.16 s Current children cumulated vsize: 259648 KiB Current children cumulated memory: 226892 KiB [startup+162.3 s] /proc/loadavg: 2.03 2.05 2.10 3/189 23082 /proc/meminfo: memFree=31592352/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=264612 memory=238220 CPUtime=162.15 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 196112 0 0 0 16198 17 0 0 20 0 1 0 112238742 270962688 59555 18446744073709551615 4194304 5972588 140724416620720 140724416617576 5338185 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 66153 59555 784 435 0 59516 0 Current children cumulated CPU time: 162.15 s Current children cumulated vsize: 264612 KiB Current children cumulated memory: 238220 KiB [startup+222.3 s] /proc/loadavg: 2.01 2.04 2.09 3/186 23084 /proc/meminfo: memFree=31595812/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=264612 memory=238224 CPUtime=222.13 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 198783 0 0 0 22196 17 0 0 20 0 1 0 112238742 270962688 59556 18446744073709551615 4194304 5972588 140724416620720 140724416617576 5338173 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 66153 59556 784 435 0 59516 0 Current children cumulated CPU time: 222.13 s Current children cumulated vsize: 264612 KiB Current children cumulated memory: 238224 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.01 2.04 2.09 3/186 23085 /proc/meminfo: memFree=31596084/32770624 swapFree=67108764/67108860 [pid=22998] ppid=22995 vsize=264612 memory=238384 CPUtime=251.83 cores=0,2,4,6 /proc/22998/stat : 22998 (cosoco) R 22995 22998 4674 0 -1 4202496 200845 0 0 0 25166 17 0 0 20 0 1 0 112238742 270962688 59596 18446744073709551615 4194304 5972588 140724416620720 140724416617576 5338173 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 19943424 140724416627145 140724416627245 140724416627245 140724416630734 0 /proc/22998/statm: 66153 59596 784 435 0 59516 0 Current children cumulated CPU time: 251.83 s Current children cumulated vsize: 264612 KiB Current children cumulated memory: 238384 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.013 s] # the end of solver process 22998 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.67 s, system=0.177963 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.013 CPU time (s): 251.848 CPU user time (s): 251.67 CPU system time (s): 0.177963 CPU usage (%): 99.9346 Max. virtual memory (cumulated for all children) (KiB): 264612 Max. memory (cumulated for all children) (KiB): 238384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.67 system time used= 0.177963 maximum resident set size= 238464 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 200892 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= 38 involuntary context switches= 1372 # summary of solver processes directly reported to runsolver: # pid: 22998 # total CPU time (s): 251.848 # total CPU user time (s): 251.67 # total CPU system time (s): 0.177963 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.931484 second user time and 1.84308 second system time The end
Begin job on node134 at 2017-08-13 19:48:09 IDJOB=4266615 IDBENCH=133707 IDSOLVER=2656 FILE ID=node134/4266615-1502647323 RUNJOBID= node134-1502642157-20628 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-c1a.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266615-1502647323/watcher-4266615-1502647323 -o /tmp/evaluation-result-4266615-1502647323/solver-4266615-1502647323 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502642157-20628 --watchdog 312 cosoco -lc -model -restarts -sat HOME/instance-4266615-1502647323.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 030948c230c0936ebc743af4f555c996 RANDOM SEED=1309086950 node134.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.43 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.43 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.43 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.43 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: 30918764 kB MemAvailable: 31040252 kB Buffers: 217120 kB Cached: 207520 kB SwapCached: 4 kB Active: 1293952 kB Inactive: 123860 kB Active(anon): 937308 kB Inactive(anon): 97332 kB Active(file): 356644 kB Inactive(file): 26528 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 2372 kB Writeback: 0 kB AnonPages: 993140 kB Mapped: 58244 kB Shmem: 41564 kB Slab: 135396 kB SReclaimable: 108304 kB SUnreclaim: 27092 kB KernelStack: 3344 kB PageTables: 6836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1467548 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 192512 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-13 19:52:21