Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.1 | ? (TO) | 251.92799 | 252.00999 |
Name | BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml |
MD5SUM | f67f1c0e82ebca3fffd47008cd4871f3 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 28 |
Best CPU time to get the best result obtained on this benchmark | 251.93401 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2484 |
Number of constraints | 203 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2484}] |
Minimum variable degree | 4 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":4,"count":6},{"degree":5,"count":90},{"degree":6,"count":297},{"degree":7,"count":531},{"degree":8,"count":745},{"degree":9,"count":548},{"degree":10,"count":188},{"degree":11,"count":19},{"degree":12,"count":33},{"degree":13,"count":25},{"degree":14,"count":2}] |
Minimum constraint arity | 6 |
Maximum constraint arity | 211 |
Distribution of constraint arities | [{"arity":6,"count":3},{"arity":10,"count":4},{"arity":16,"count":2},{"arity":23,"count":1},{"arity":25,"count":2},{"arity":29,"count":2},{"arity":35,"count":3},{"arity":38,"count":3},{"arity":39,"count":3},{"arity":41,"count":1},{"arity":44,"count":2},{"arity":45,"count":1},{"arity":46,"count":5},{"arity":47,"count":4},{"arity":48,"count":5},{"arity":49,"count":4},{"arity":50,"count":4},{"arity":52,"count":1},{"arity":54,"count":5},{"arity":55,"count":2},{"arity":56,"count":2},{"arity":57,"count":2},{"arity":60,"count":2},{"arity":61,"count":1},{"arity":62,"count":2},"...",{"arity":118,"count":2}, {"arity":119,"count":1}, {"arity":121,"count":1}, {"arity":122,"count":1}, {"arity":123,"count":1}, {"arity":125,"count":2}, {"arity":130,"count":4}, {"arity":131,"count":3}, {"arity":133,"count":3}, {"arity":135,"count":1}, {"arity":136,"count":1}, {"arity":138,"count":1}, {"arity":139,"count":1}, {"arity":140,"count":2}, {"arity":143,"count":1}, {"arity":145,"count":2}, {"arity":146,"count":1}, {"arity":147,"count":1}, {"arity":153,"count":2}, {"arity":154,"count":1}, {"arity":158,"count":1}, {"arity":162,"count":1}, {"arity":175,"count":1}, {"arity":192,"count":1}, {"arity":211,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":203}] |
Optimization problem | YES |
Type of objective | min SUM |
0.03/0.18 c best=?? lower=-2484 upper=0 251.92/252.00 c 251.92/252.00 c This is cosoco 1.1 -- 251.92/252.00 c 251.92/252.00 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4258428-1502649754.xml 251.92/252.00 c enable optimization 251.92/252.00 c ========================================[ Problem Statistics ]=========================================== 251.92/252.00 c | 251.92/252.00 c | Parse time : 0.10 s 251.92/252.00 c | 251.92/252.00 c | Variables: 2484 251.92/252.00 c | Domain Sizes: 2..2 251.92/252.00 c | 251.92/252.00 c | Constraints: 204 251.92/252.00 c | Arity: 6..2484 251.92/252.00 c | 251.92/252.00 c | Types: 251.92/252.00 c | Exactly K: 203 251.92/252.00 c | Sum: 1 251.92/252.00 c | 251.92/252.00 c ========================================================================================================= 251.92/252.00 251.92/252.00 c *** INTERRUPTED *** 251.92/252.00 c restarts : 33 251.92/252.00 c conflicts : 21712 (86 /sec) 251.92/252.00 c decisions : 2045461 (8120 /sec) 251.92/252.00 c propagations : 21533043 (85482 /sec) 251.92/252.00 c root propagations : 0 251.92/252.00 c filter calls : 24175305 (95971 /sec) 251.92/252.00 c useless filter calls : 23318278 (96 %) 251.92/252.00 c Memory used : 51.43 MB 251.92/252.00 c CPU time : 251.901 s 251.92/252.00 251.92/252.00 c No Bound found! 251.92/252.00 251.92/252.00 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 (15289 MiB free) memory of node 1: 16384 MiB (15595 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258428-1502649754/watcher-4258428-1502649754 -o /tmp/evaluation-result-4258428-1502649754/solver-4258428-1502649754 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502644570-29825 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258428-1502649754.xml running on 4 cores: 1,3,5,7 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=32214, runsolver pid=32211 [startup+0.100151 s]* /proc/loadavg: 2.00 1.99 2.03 3/185 32215 /proc/meminfo: memFree=31622936/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=28836 memory=4936 CPUtime=0.03 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 1435 0 0 0 3 0 0 0 20 0 1 0 164628115 29528064 1234 18446744073709551615 4194304 5972556 140728554019568 140728554016216 140714345741285 0 0 1 0 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 7209 1234 709 435 0 572 0 Current children cumulated CPU time: 0.03 s Current children cumulated vsize: 28836 KiB Current children cumulated memory: 4936 KiB [startup+0.209517 s]* /proc/loadavg: 2.00 1.99 2.03 3/185 32215 /proc/meminfo: memFree=31618224/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=31564 memory=7804 CPUtime=0.14 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 2167 0 0 0 14 0 0 0 20 0 1 0 164628115 32321536 1951 18446744073709551615 4194304 5972556 140728554019568 140728554016216 5139275 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 7891 1951 744 435 0 1254 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 31564 KiB Current children cumulated memory: 7804 KiB [startup+0.309311 s]* /proc/loadavg: 2.00 1.99 2.03 3/185 32215 /proc/meminfo: memFree=31611900/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=36468 memory=12820 CPUtime=0.23 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 3401 0 0 0 23 0 0 0 20 0 1 0 164628115 37343232 3205 18446744073709551615 4194304 5972556 140728554019568 140728554016216 5046264 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 9117 3205 779 435 0 2480 0 Current children cumulated CPU time: 0.23 s Current children cumulated vsize: 36468 KiB Current children cumulated memory: 12820 KiB [startup+0.700291 s] /proc/loadavg: 2.00 1.99 2.03 3/185 32215 /proc/meminfo: memFree=31602600/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=43656 memory=19948 CPUtime=0.61 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 5198 0 0 0 61 0 0 0 20 0 1 0 164628115 44703744 4987 18446744073709551615 4194304 5972556 140728554019568 140728554016392 5032415 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 10914 4987 779 435 0 4277 0 Current children cumulated CPU time: 0.61 s Current children cumulated vsize: 43656 KiB Current children cumulated memory: 19948 KiB [startup+1.50028 s] /proc/loadavg: 2.00 1.99 2.03 3/185 32215 /proc/meminfo: memFree=31543916/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=46208 memory=22588 CPUtime=1.42 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 5821 0 0 0 141 1 0 0 20 0 1 0 164628115 47316992 5647 18446744073709551615 4194304 5972556 140728554019568 140728554016392 5139258 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 11552 5647 779 435 0 4915 0 Current children cumulated CPU time: 1.42 s Current children cumulated vsize: 46208 KiB Current children cumulated memory: 22588 KiB [startup+3.1094 s] /proc/loadavg: 2.00 1.99 2.03 3/185 32215 /proc/meminfo: memFree=31519220/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=50100 memory=26360 CPUtime=3.03 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 11403 0 0 0 302 1 0 0 20 0 1 0 164628115 51302400 6590 18446744073709551615 4194304 5972556 140728554019568 140728554016232 5139313 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 12525 6590 779 435 0 5888 0 Current children cumulated CPU time: 3.03 s Current children cumulated vsize: 50100 KiB Current children cumulated memory: 26360 KiB [startup+6.30026 s] /proc/loadavg: 2.00 1.99 2.03 3/185 32215 /proc/meminfo: memFree=31514004/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=50504 memory=26972 CPUtime=6.22 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 16832 0 0 0 621 1 0 0 20 0 1 0 164628115 51716096 6743 18446744073709551615 4194304 5972556 140728554019568 140728554016232 5338111 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 12626 6743 779 435 0 5989 0 Current children cumulated CPU time: 6.22 s Current children cumulated vsize: 50504 KiB Current children cumulated memory: 26972 KiB [startup+12.7003 s] /proc/loadavg: 2.00 1.99 2.03 3/184 32215 /proc/meminfo: memFree=31504720/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=52388 memory=28864 CPUtime=12.61 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 23131 0 0 0 1260 1 0 0 20 0 1 0 164628115 53645312 7216 18446744073709551615 4194304 5972556 140728554019568 140728554016232 5094128 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 13097 7216 779 435 0 6460 0 Current children cumulated CPU time: 12.61 s Current children cumulated vsize: 52388 KiB Current children cumulated memory: 28864 KiB [startup+25.5003 s] /proc/loadavg: 2.00 1.99 2.03 3/184 32216 /proc/meminfo: memFree=31449540/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=52656 memory=29084 CPUtime=25.42 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 34023 0 0 0 2540 2 0 0 20 0 1 0 164628115 53919744 7271 18446744073709551615 4194304 5972556 140728554019568 140728554016232 5338133 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 13164 7271 779 435 0 6527 0 Current children cumulated CPU time: 25.42 s Current children cumulated vsize: 52656 KiB Current children cumulated memory: 29084 KiB [startup+51.1092 s] /proc/loadavg: 2.00 1.99 2.03 3/184 32216 /proc/meminfo: memFree=31448840/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=52656 memory=29088 CPUtime=51.03 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 39748 0 0 0 5101 2 0 0 20 0 1 0 164628115 53919744 7272 18446744073709551615 4194304 5972556 140728554019568 140728554016232 5046438 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 13164 7272 779 435 0 6527 0 Current children cumulated CPU time: 51.03 s Current children cumulated vsize: 52656 KiB Current children cumulated memory: 29088 KiB [startup+102.3 s] /proc/loadavg: 2.00 1.99 2.03 3/184 32218 /proc/meminfo: memFree=31448136/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=52656 memory=29088 CPUtime=102.22 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 45082 0 0 0 10220 2 0 0 20 0 1 0 164628115 53919744 7272 18446744073709551615 4194304 5972556 140728554019568 140728554016232 5046656 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 13164 7272 779 435 0 6527 0 Current children cumulated CPU time: 102.22 s Current children cumulated vsize: 52656 KiB Current children cumulated memory: 29088 KiB [startup+162.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 32235 /proc/meminfo: memFree=31442624/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=52656 memory=29096 CPUtime=162.21 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 50306 0 0 0 16219 2 0 0 20 0 1 0 164628115 53919744 7274 18446744073709551615 4194304 5972556 140728554019568 140728554016232 5046281 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 13164 7274 779 435 0 6527 0 Current children cumulated CPU time: 162.21 s Current children cumulated vsize: 52656 KiB Current children cumulated memory: 29096 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.99 2.03 3/188 32241 /proc/meminfo: memFree=31444200/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=52656 memory=29096 CPUtime=222.21 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 50528 0 0 0 22219 2 0 0 20 0 1 0 164628115 53919744 7274 18446744073709551615 4194304 5972556 140728554019568 140728554016232 5139296 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 13164 7274 779 435 0 6527 0 Current children cumulated CPU time: 222.21 s Current children cumulated vsize: 52656 KiB Current children cumulated memory: 29096 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 1.99 2.03 2/188 32303 /proc/meminfo: memFree=31615332/32770624 swapFree=67108776/67108860 [pid=32214] ppid=32211 vsize=52656 memory=29096 CPUtime=251.92 cores=1,3,5,7 /proc/32214/stat : 32214 (cosoco) R 32211 32214 7084 0 -1 4202496 50743 0 0 0 25190 2 0 0 20 0 1 0 164628115 53919744 7274 18446744073709551615 4194304 5972556 140728554019568 140728554016232 5338125 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30461952 140728554021291 140728554021421 140728554021421 140728554024910 0 /proc/32214/statm: 13164 7274 779 435 0 6527 0 Current children cumulated CPU time: 251.92 s Current children cumulated vsize: 52656 KiB Current children cumulated memory: 29096 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 32214 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.901 s, system=0.026999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.01 CPU time (s): 251.928 CPU user time (s): 251.901 CPU system time (s): 0.026999 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 52656 Max. memory (cumulated for all children) (KiB): 29096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.901 system time used= 0.026999 maximum resident set size= 29176 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50791 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= 65 # summary of solver processes directly reported to runsolver: # pid: 32214 # total CPU time (s): 251.928 # total CPU user time (s): 251.901 # total CPU system time (s): 0.026999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.922541 second user time and 1.67121 second system time The end
Begin job on node132 at 2017-08-13 20:28:08 IDJOB=4258428 IDBENCH=133708 IDSOLVER=2644 FILE ID=node132/4258428-1502649754 RUNJOBID= node132-1502644570-29825 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r4.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258428-1502649754/watcher-4258428-1502649754 -o /tmp/evaluation-result-4258428-1502649754/solver-4258428-1502649754 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502644570-29825 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258428-1502649754.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f67f1c0e82ebca3fffd47008cd4871f3 RANDOM SEED=1175055697 node132.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.74 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.74 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.74 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.74 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: 31626848 kB MemAvailable: 31967144 kB Buffers: 232108 kB Cached: 433356 kB SwapCached: 84 kB Active: 535568 kB Inactive: 202692 kB Active(anon): 20700 kB Inactive(anon): 101868 kB Active(file): 514868 kB Inactive(file): 100824 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108776 kB Dirty: 4976 kB Writeback: 4 kB AnonPages: 72560 kB Mapped: 66612 kB Shmem: 49768 kB Slab: 108128 kB SReclaimable: 80880 kB SUnreclaim: 27248 kB KernelStack: 3264 kB PageTables: 5008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 364776 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62028 MiB End job on node132 at 2017-08-13 20:32:21