Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | ? (TO) | 251.925 | 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.05/0.15 c best=?? lower=-2484 upper=0 251.91/252.00 c 251.91/252.00 c This is cosoco 1.12 -- 251.91/252.00 c 251.91/252.00 c command line: cosoco -lc -model -restarts HOME/instance-4268551-1502664159.xml 251.91/252.00 c enable optimization 251.91/252.00 c ========================================[ Problem Statistics ]=========================================== 251.91/252.00 c | 251.91/252.00 c | Parse time : 0.10 s 251.91/252.00 c | 251.91/252.00 c | Variables: 2484 251.91/252.00 c | Domain Sizes: 2..2 251.91/252.00 c | 251.91/252.00 c | Constraints: 204 251.91/252.00 c | Arity: 6..2484 251.91/252.00 c | 251.91/252.00 c | Types: 251.91/252.00 c | Exactly K: 203 251.91/252.00 c | Sum: 1 251.91/252.00 c | 251.91/252.00 c ========================================================================================================= 251.91/252.00 251.91/252.00 c *** INTERRUPTED *** 251.91/252.00 c restarts : 33 251.91/252.00 c conflicts : 21980 (87 /sec) 251.91/252.00 c decisions : 2088449 (8291 /sec) 251.91/252.00 c propagations : 21913028 (86992 /sec) 251.91/252.00 c root propagations : 0 251.91/252.00 c filter calls : 24606760 (97686 /sec) 251.91/252.00 c useless filter calls : 23740146 (96 %) 251.91/252.00 c Memory used : 51.43 MB 251.91/252.00 c CPU time : 251.898 s 251.91/252.00 251.91/252.00 c No Bound found! 251.91/252.00 251.91/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 (15183 MiB free) memory of node 1: 16384 MiB (15631 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268551-1502664159/watcher-4268551-1502664159 -o /tmp/evaluation-result-4268551-1502664159/solver-4268551-1502664159 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502644521-30671 --watchdog 312 cosoco -lc -model -restarts HOME/instance-4268551-1502664159.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=8642, runsolver pid=8639 [startup+0.100154 s]* /proc/loadavg: 2.08 2.04 2.05 3/181 8643 /proc/meminfo: memFree=31550448/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=31300 memory=7556 CPUtime=0.05 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 2064 0 0 0 5 0 0 0 20 0 1 0 54756539 32051200 1889 18446744073709551615 4194304 5972588 140734212984992 140734212981640 5634800 0 0 1 0 0 0 0 17 1 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 7825 1889 741 435 0 1188 0 Current children cumulated CPU time: 0.05 s Current children cumulated vsize: 31300 KiB Current children cumulated memory: 7556 KiB [startup+0.209239 s]* /proc/loadavg: 2.08 2.04 2.05 3/181 8643 /proc/meminfo: memFree=31550076/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=31828 memory=8080 CPUtime=0.16 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 2238 0 0 0 16 0 0 0 20 0 1 0 54756539 32591872 2020 18446744073709551615 4194304 5972588 140734212984992 140734212981640 140068301274085 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 7957 2020 779 435 0 1320 0 Current children cumulated CPU time: 0.16 s Current children cumulated vsize: 31828 KiB Current children cumulated memory: 8080 KiB [startup+0.308771 s]* /proc/loadavg: 2.08 2.04 2.05 3/181 8643 /proc/meminfo: memFree=31544280/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=39792 memory=16000 CPUtime=0.26 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 4221 0 0 0 26 0 0 0 20 0 1 0 54756539 40747008 4000 18446744073709551615 4194304 5972588 140734212984992 140734212981816 140068301343275 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 9948 4000 779 435 0 3311 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 39792 KiB Current children cumulated memory: 16000 KiB [startup+0.700328 s] /proc/loadavg: 2.08 2.04 2.05 3/181 8643 /proc/meminfo: memFree=31540436/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=44988 memory=21280 CPUtime=0.65 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 5516 0 0 0 64 1 0 0 20 0 1 0 54756539 46067712 5320 18446744073709551615 4194304 5972588 140734212984992 140734212981816 140068301343275 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 11247 5320 779 435 0 4610 0 Current children cumulated CPU time: 0.65 s Current children cumulated vsize: 44988 KiB Current children cumulated memory: 21280 KiB [startup+1.50029 s] /proc/loadavg: 2.08 2.04 2.05 3/181 8643 /proc/meminfo: memFree=31535264/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=46208 memory=22600 CPUtime=1.45 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 5829 0 0 0 144 1 0 0 20 0 1 0 54756539 47316992 5650 18446744073709551615 4194304 5972588 140734212984992 140734212981752 5046264 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 11552 5650 779 435 0 4915 0 Current children cumulated CPU time: 1.45 s Current children cumulated vsize: 46208 KiB Current children cumulated memory: 22600 KiB [startup+3.10911 s] /proc/loadavg: 2.08 2.04 2.05 3/181 8643 /proc/meminfo: memFree=31531180/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=50100 memory=26372 CPUtime=3.05 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 11410 0 0 0 304 1 0 0 20 0 1 0 54756539 51302400 6593 18446744073709551615 4194304 5972588 140734212984992 140734212981752 5032723 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 12525 6593 779 435 0 5888 0 Current children cumulated CPU time: 3.05 s Current children cumulated vsize: 50100 KiB Current children cumulated memory: 26372 KiB [startup+6.30027 s] /proc/loadavg: 2.00 2.02 2.04 3/181 8704 /proc/meminfo: memFree=31685068/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=50504 memory=26976 CPUtime=6.24 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 16837 0 0 0 623 1 0 0 20 0 1 0 54756539 51716096 6744 18446744073709551615 4194304 5972588 140734212984992 140734212981752 5139499 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 12626 6744 779 435 0 5989 0 Current children cumulated CPU time: 6.24 s Current children cumulated vsize: 50504 KiB Current children cumulated memory: 26976 KiB [startup+12.7003 s] /proc/loadavg: 1.92 2.01 2.04 3/181 8704 /proc/meminfo: memFree=31671156/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=52388 memory=28872 CPUtime=12.64 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 23086 0 0 0 1262 2 0 0 20 0 1 0 54756539 53645312 7218 18446744073709551615 4194304 5972588 140734212984992 140734212981656 5139493 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 13097 7218 779 435 0 6460 0 Current children cumulated CPU time: 12.64 s Current children cumulated vsize: 52388 KiB Current children cumulated memory: 28872 KiB [startup+25.5003 s] /proc/loadavg: 1.94 2.01 2.04 3/181 8704 /proc/meminfo: memFree=31668612/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=52656 memory=29096 CPUtime=25.43 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 25306 0 0 0 2541 2 0 0 20 0 1 0 54756539 53919744 7274 18446744073709551615 4194304 5972588 140734212984992 140734212981656 5139329 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 13164 7274 779 435 0 6527 0 Current children cumulated CPU time: 25.43 s Current children cumulated vsize: 52656 KiB Current children cumulated memory: 29096 KiB [startup+51.1088 s] /proc/loadavg: 1.96 2.01 2.04 3/181 8705 /proc/meminfo: memFree=31668376/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=52656 memory=29100 CPUtime=51.04 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 25533 0 0 0 5102 2 0 0 20 0 1 0 54756539 53919744 7275 18446744073709551615 4194304 5972588 140734212984992 140734212981656 5032455 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 13164 7275 779 435 0 6527 0 Current children cumulated CPU time: 51.04 s Current children cumulated vsize: 52656 KiB Current children cumulated memory: 29100 KiB [startup+102.3 s] /proc/loadavg: 1.98 2.01 2.04 3/185 8722 /proc/meminfo: memFree=31663264/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=52656 memory=29100 CPUtime=102.22 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 25741 0 0 0 10220 2 0 0 20 0 1 0 54756539 53919744 7275 18446744073709551615 4194304 5972588 140734212984992 140734212981656 5046280 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 13164 7275 779 435 0 6527 0 Current children cumulated CPU time: 102.22 s Current children cumulated vsize: 52656 KiB Current children cumulated memory: 29100 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.01 2.04 3/185 8724 /proc/meminfo: memFree=31663980/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=52656 memory=29100 CPUtime=162.21 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 25950 0 0 0 16219 2 0 0 20 0 1 0 54756539 53919744 7275 18446744073709551615 4194304 5972588 140734212984992 140734212981656 5139329 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 13164 7275 779 435 0 6527 0 Current children cumulated CPU time: 162.21 s Current children cumulated vsize: 52656 KiB Current children cumulated memory: 29100 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 8726 /proc/meminfo: memFree=31667840/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=52656 memory=29100 CPUtime=222.2 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 26156 0 0 0 22218 2 0 0 20 0 1 0 54756539 53919744 7275 18446744073709551615 4194304 5972588 140734212984992 140734212981656 5139493 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 13164 7275 779 435 0 6527 0 Current children cumulated CPU time: 222.2 s Current children cumulated vsize: 52656 KiB Current children cumulated memory: 29100 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 2.01 2.04 3/182 8727 /proc/meminfo: memFree=31668088/32770624 swapFree=67108860/67108860 [pid=8642] ppid=8639 vsize=52656 memory=29100 CPUtime=251.91 cores=1,3,5,7 /proc/8642/stat : 8642 (cosoco) R 8639 8642 11586 0 -1 4202496 26354 0 0 0 25189 2 0 0 20 0 1 0 54756539 53919744 7275 18446744073709551615 4194304 5972588 140734212984992 140734212981656 5338173 0 0 1 8405026 0 0 0 17 3 0 0 4 0 0 8070896 8075904 13950976 140734212993486 140734212993581 140734212993581 140734212997070 0 /proc/8642/statm: 13164 7275 779 435 0 6527 0 Current children cumulated CPU time: 251.91 s Current children cumulated vsize: 52656 KiB Current children cumulated memory: 29100 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 8642 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.898 s, system=0.026996 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.925 CPU user time (s): 251.898 CPU system time (s): 0.026996 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (KiB): 52656 Max. memory (cumulated for all children) (KiB): 29100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.898 system time used= 0.026996 maximum resident set size= 29180 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26403 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= 21 involuntary context switches= 175 # summary of solver processes directly reported to runsolver: # pid: 8642 # total CPU time (s): 251.925 # total CPU user time (s): 251.898 # total CPU system time (s): 0.026996 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.76567 second user time and 1.74332 second system time The end
Begin job on node124 at 2017-08-14 00:28:23 IDJOB=4268551 IDBENCH=133708 IDSOLVER=2659 FILE ID=node124/4268551-1502664159 RUNJOBID= node124-1502644521-30671 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r4.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268551-1502664159/watcher-4268551-1502664159 -o /tmp/evaluation-result-4268551-1502664159/solver-4268551-1502664159 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502644521-30671 --watchdog 312 cosoco -lc -model -restarts HOME/instance-4268551-1502664159.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f67f1c0e82ebca3fffd47008cd4871f3 RANDOM SEED=1373804187 node124.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.51 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.51 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.51 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.51 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: 31554204 kB MemAvailable: 31832676 kB Buffers: 179308 kB Cached: 388416 kB SwapCached: 0 kB Active: 592052 kB Inactive: 198104 kB Active(anon): 173568 kB Inactive(anon): 73796 kB Active(file): 418484 kB Inactive(file): 124308 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2408 kB Writeback: 0 kB AnonPages: 230128 kB Mapped: 45596 kB Shmem: 25320 kB Slab: 128996 kB SReclaimable: 103032 kB SUnreclaim: 25964 kB KernelStack: 3472 kB PageTables: 5124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 495000 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62028 MiB End job on node124 at 2017-08-14 00:32:35